357 search results - page 1 / 72 » Specifying and Verifying Fault-Tolerant Systems |
157
Voted
ATAL
2009
Springer
16 years 28 days 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...
149
Voted
ASPLOS
2010
ACM
16 years 1 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ļ...
184
Voted
ISORC
2009
IEEE
16 years 29 days 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...
171
click to vote
DSN
2004
IEEE
15 years 10 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...