84 search results - page 16 / 17 » Object-Oriented System Specification Using Defaults |
CLEF
2009
Springer
13 years 2 months ago
2009
Springer
This paper summarises activities from the iCLEF 2009 task. As in 2008, the task was organised based on users participating in an interactive cross-language image search experiment...
SIGOPS
2008
13 years 4 months ago
2008
A principal challenge in operating system design is controlling system throughput and responsiveness while maximizing resource utilization. Unlike previous attempts in kernel reso...
ICSE
1999
IEEE-ACM
13 years 9 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
CORR
2002
Springer
13 years 4 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
EJIS
2010
13 years 4 months ago
2010
In the last few decades, several studies have found the same technology implemented in highly similar organizational settings to be associated with very different consequences for...