Sciweavers

533 search results - page 18 / 107
» Verification of Distributed Firewalls
Sort
View
SRDS
2005
IEEE
16 years 1 months ago
Lazy Verification in Fault-Tolerant Distributed Storage Systems
Michael Abd-El-Malek, Gregory R. Ganger, Michael K...
160
Voted
APN
2010
Springer
16 years 7 days ago
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
Christine Choppy, Anna Dedova, Sami Evangelista, S...
166
Voted
FM
1999
Springer
122views Formal Methods» more  FM 1999»
15 years 11 months ago
Towards a Compositional Approach to the Design and Verification of Distributed Systems
Michel Charpentier, K. Mani Chandy
DALT
2004
Springer
15 years 11 months ago
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
L. Robert Pokorny, C. R. Ramakrishnan