533 search results - page 16 / 107 » Verification of Distributed Firewalls |
143
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
115
click to vote
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
ICPADS
2006
IEEE
15 years 7 months ago
2006
IEEE
125
click to vote
IC3
2009
14 years 11 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
136
click to vote
ENTCS
2006
15 years 1 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...