Sciweavers

139
Voted
SRDS
2000
IEEE
16 years 5 days ago
A Pragmatic Implementation of e-Transactions
Svend Frølund, Rachid Guerraoui
SRDS
2000
IEEE
16 years 5 days ago
Abstractions for Devising Byzantine-Resilient State Machine Replication
Assia Doudou, Rachid Guerraoui, Benoît Garbi...
169
Voted
SRDS
2000
IEEE
16 years 5 days ago
Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...
Jerzy Brzezinski, Michal Sajkowski
155
Voted
SRDS
2000
IEEE
16 years 5 days ago
An Investigation of Membership and Clique Avoidance in TTP/C
Avoiding the partitioning of a cluster into cliques that are not able to communicate with each other is an important issue in the time-triggered communication protocol TTP/C. This...
Günther Bauer, Michael Paulitsch
SRDS
2000
IEEE
16 years 5 days ago
Issues Insufficiently Resolved in Century 20 in the Fault-Tolerant Distributed Computing Field
: As Century 21 just opened up, it is a fitting time to reflect on the evolution of the fault-tolerant distributed computing technology that occurred in the last century. The autho...
K. H. Kim
SRDS
2000
IEEE
16 years 5 days ago
Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector
Validation of distributed systems using fault injection is difficult because of their inherent complexity, lack of a global clock, and lack of an easily accessible notion of a gl...
Ramesh Chandra, Michel Cukier, Ryan M. Lefever, Wi...
SRDS
2000
IEEE
16 years 5 days ago
Performance of Mobile, Single-Object, Replication Protocols
This paper discusses the implementation and performance of bounded voting: a new object replication protocol designed for use in mobile and weakly-connected environments. We show ...
Ugur Çetintemel, Peter J. Keleher