5273 search results - page 402 / 1055 » Improving quality together |
161
click to vote
PATAT
2000
Springer
15 years 11 months ago
2000
Springer
The examination scheduling problem has been examined and a four-phase system using a tabu search algorithm, OTTABU, has been implemented. This system uses both recency-based short-...
200
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
188
click to vote
ER
2008
Springer
15 years 9 months ago
2008
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
202
click to vote
EWCBR
2008
Springer
15 years 9 months ago
2008
Springer
Despite the success of modern Web search engines, challenges remain when it comes to providing people with access to the right information at the right time. In this paper, we desc...
184
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...