1980 search results - page 306 / 396 » Compositional Model Checking of Real Time Systems |
140
click to vote
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 ...
131
click to vote
COSIT
1997
Springer
15 years 7 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
134
click to vote
PODC
1999
ACM
15 years 7 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
121
click to vote
GIS
2007
ACM
15 years 7 months ago
2007
ACM
In this paper, we consider a traffic information sharing system based on Floating Car Data (FCD). FCD is one of the methods used to gather traffic information; it uses vehicles as...
139
click to vote
ECRTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...