1636 search results - page 74 / 328 » Dynamic and Distributed Interaction Protocols |
104
click to vote
CONCUR
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
132
click to vote
SPAA
1998
ACM
15 years 7 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
104
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—We propose a Smart Trend-Traversal (STT) protocol for RFID tag arbitration, which effectively reduces the collision overhead occurred in the arbitration process. STT, a Query Tr...
119
click to vote
ICDCN
2009
Springer
15 years 10 months ago
2009
Springer
We introduce FTRepMI, a simple fault-tolerant protocol for providing sequential consistency amongst replicated objects in a grid, without using any centralized components. FTRepMI ...
109
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
Data replication in distributed databases has been investigated extensively with the hope that it will improve performance, reliability, and availability. However, the growth of t...