Sciweavers

355 search results - page 2 / 71
» A Unified Fault-Tolerance Protocol
Sort
View
ATAL
2009
Springer
14 years 11 days ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
DBSEC
2003
157views Database» more  DBSEC 2003»
13 years 7 months ago
Systematic Development of a Family of Fair Exchange Protocols
: Fair exchange protocols play an important role in application areas such as e-commerce where protocol participants require mutual guarantees that a transaction involving exchange...
Paul D. Ezhilchelvan, Santosh K. Shrivastava
CORR
2010
Springer
134views Education» more  CORR 2010»
13 years 5 months ago
Hosting Byzantine Fault Tolerant Services on a Chord Ring
In this paper we demonstrate how stateful Byzantine Fault Tolerant services may be hosted on a Chord ring. The strategy presented is fourfold: firstly a replication scheme that di...
Alan Dearle, Graham N. C. Kirby, Stuart J. Norcros...
IPPS
2000
IEEE
13 years 10 months ago
A Distributed Real Time Coordination Protocol
: When the communication channels are subject to interruptions such as jamming, the coordination of the real time motions of distributed autonomous vehicles becomes a challenging p...
Lui Sha, Danbing Seto
DSN
2003
IEEE
13 years 11 months ago
Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms
Protocols that solve agreement problems are essential building blocks for fault tolerant distributed systems. While many protocols have been published, little has been done to ana...
Péter Urbán, Ilya Shnayderman, Andr&...