Sciweavers

533 search results - page 18 / 107
» Verification of Distributed Firewalls
Sort
View
SRDS
2005
IEEE
14 years 3 months ago
Lazy Verification in Fault-Tolerant Distributed Storage Systems
Michael Abd-El-Malek, Gregory R. Ganger, Michael K...
DALT
2004
Springer
14 years 1 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