437 search results - page 33 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
PIMRC
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--Is the temporal dimension alone sufficient to characterize contacts in opportunistic networks? Several studies analyze the temporal aspect of contacts with significant re...
EUROPAR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Distributed moving object database servers are a feasible solution to the scalability problem of centralized database systems. In this paper we propose a distributed inde...
MM
2006
ACM
14 years 3 months ago
2006
ACM
Human vision system actively seeks interesting regions in images to reduce the search effort in tasks, such as object detection and recognition. Similarly, prominent actions in v...
PPOPP
2003
ACM
14 years 2 months ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
TACAS
2001
Springer
14 years 1 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...