614 search results - page 29 / 123 » A RESTful messaging system for asynchronous distributed proc... |
96
Voted
SODA
2010
ACM
15 years 10 months 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...
105
Voted
CLUSTER
1999
IEEE
15 years 10 days 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...
93
Voted
IPPS
2007
IEEE
15 years 7 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...
107
Voted
FTRTFT
2000
Springer
15 years 4 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 ...
101
Voted
IPPS
2000
IEEE
15 years 5 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...