533 search results - page 16 / 107 » Verification of Distributed Firewalls |
AMAST
2004
Springer
14 years 1 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...
CDC
2008
IEEE
14 years 1 days 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
14 years 4 months ago
2006
IEEE
IC3
2009
13 years 7 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...
ENTCS
2006
13 years 10 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 ...