1980 search results - page 295 / 396 » Compositional Model Checking of Real Time Systems |
288
click to vote
KDD
2012
ACM
13 years 5 months ago
2012
ACM
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...
200
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
102
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...
141
click to vote
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
135
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...