3 search results - page 1 / 1 » Weak vs. Self vs. Probabilistic Stabilization |
ICDCS
2008
IEEE
14 years 1 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 7 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 11 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...