3047 search results - page 4 / 610 » A Temporal Consensus Model |
EOR
2007
14 years 9 months ago
2007
In this paper, we apply a consensus model to decision-making in committees that have to choose one or more alternatives from a set of alternatives. The model does not use a voting...
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
SIAMCOMP
2002
14 years 9 months ago
2002
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
ANOR
2008
14 years 9 months ago
2008
In this paper, a model of political consensus is introduced. Parties try to reach consensus in forming a government. A government is defined as a pair consisting of a winning coali...
84
Voted
DSN
2006
IEEE
15 years 3 months ago
2006
IEEE
In the asynchronous distributed system model, consensus is obtained in one communication step if all processes propose the same value. Assuming f < n/3, this is regardless of t...