5 search results - page 1 / 1 » Specifying and Checking Fault-Tolerant Agent-Based Protocols... |
FAABS
2000
Springer
13 years 9 months ago
2000
Springer
ATAL
2009
Springer
13 years 12 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...
ICFEM
2009
Springer
13 years 12 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
FASE
2004
Springer
13 years 9 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
FORTE
2011
12 years 8 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...