614 search results - page 29 / 123 » A RESTful messaging system for asynchronous distributed proc... |
110
click to vote
SODA
2010
ACM
16 years 7 days ago
2010
ACM
We consider the problem of fault-tolerant agreement in a crash-prone synchronous system. We present a new randomized consensus algorithm that achieves optimal communication effici...
121
click to vote
CLUSTER
1999
IEEE
15 years 2 months ago
1999
IEEE
Three protocols for gossip-based failure detection services in large-scale heterogeneous clusters are analyzed and compared. The basic gossip protocol provides a means by which fai...
109
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...
122
click to vote
FTRTFT
2000
Springer
15 years 6 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
114
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we study the suitability of the CORBA Event Service as a reliable message delivery mechanism. We first show that products built to the CORBA Event Service specificati...