3 search results - page 1 / 1 » Weak vs. Self vs. Probabilistic Stabilization |
ICDCS
2008
IEEE
13 years 11 months ago
2008
IEEE
Self-stabilization is a strong property which guarantees that a network always resume a correct behavior starting from an arbitrary initial state. Weaker guarantees have later bee...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
The paper describes results of an empirical study, where some hypotheses about the impact of reuse on defect-density and stability, and about the impact of component size on defec...
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...