357 search results - page 1 / 72 » Specifying and Verifying Fault-Tolerant Systems |
FTRTFT
1994
Springer
15 years 1 months ago
1994
Springer
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
ISORC
2009
IEEE
15 years 4 months ago
2009
IEEE
General-purpose middleware, by deļ¬nition, cannot readily support domain-speciļ¬c semantics without signiļ¬cant manual eļ¬orts in specializing the middleware. This paper prese...
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of dist...