519 search results - page 14 / 104 » Qualitative choice logic |
CONCUR
2000
Springer
14 years 6 days ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
AINA
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—We propose PRoPHET+, a routing scheme for opportunistic networks designed to maximize successful data delivery rate and minimize transmission delay. PRoPHET+ computes a ...
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
In this work, we use qualitative field studies to examine the role of physical artifacts in conjunction with and comparison to digital communication. We investigate what people co...
GEOS
2005
Springer
14 years 1 months ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...