Sciweavers

3047 search results - page 7 / 610
» A Temporal Consensus Model
Sort
View
EDCC
2010
Springer
15 years 2 months ago
Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model
: While lots of consensus algorithms have been proposed for crash-prone asynchronous message-passing systems enriched with a failure detector of the class Ω (the class of eventua...
François Bonnet, Michel Raynal
CONCUR
2003
Springer
15 years 2 months ago
Modeling Consensus in a Process Calculus
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
Uwe Nestmann, Rachele Fuzzati, Massimo Merro
PODC
2010
ACM
15 years 1 months ago
A modular approach to shared-memory consensus, with applications to the probabilistic-write model
We define two new classes of shared-memory objects: ratifiers, which detect agreement, and conciliators, which ensure agreement with some probability. We show that consensus can...
James Aspnes
WSC
1997
14 years 11 months ago
What Makes a Modeling and Simulation Professional?: the Consensus View from one Workshop
This paper is part of a focused paper panel discussion addressing the results of an invited workshop conducted in Orlando, Florida in February, 1997. The workshop addressed the qu...
Ralph V. Rogers
BIRTHDAY
2009
Springer
15 years 4 months ago
Foundations of Temporal Conceptual Data Models
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
Alessandro Artale, Enrico Franconi