405 search results - page 50 / 81 » Weakly-Persistent Causal Objects in Dynamic Distributed Syst... |
102
click to vote
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
159
click to vote
GIS
2003
ACM
15 years 10 months ago
2003
ACM
Moving object databases store and process data for objects that change location frequently. Materialized views maintained over time must be updated to reflect changes due to the m...
SIGCOMM
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...
121
click to vote
HLPPP
1991
15 years 1 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
WICON
2008
14 years 11 months ago
2008
Integrating wireless sensor networks in heterogeneous networks is a complex task. A reason is the absence of a standardized data exchange format that is supported in all participa...