3 search results - page 1 / 1 » Dependability Engineering of Silent Self-stabilizing Systems |
SSS
2009
Springer
13 years 10 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
ECSA
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...
AFP
2004
Springer
13 years 10 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...