6608 search results - page 1255 / 1322 » On the Completeness of Model Checking |
145
Voted
JUCS
2008
15 years 3 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
122
Voted
JFR
2006
15 years 3 months ago
2006
This paper describes a patent awarded system for automatically marking the positions of stands for a trade fair or exhibition. The system has been in operation since August 2003 a...
140
Voted
JLP
2006
15 years 3 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
143
Voted
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Several recent studies have found only a weak relationship between the performance of a retrieval system and the "success" achievable by human searchers. We hypothesize ...
143
Voted
ADHOC
2005
15 years 3 months ago
2005
While sensor networks are going to be deployed in diverse application specific contexts, one unifying view is to treat them essentially as distributed databases. The simplest mech...