533 search results - page 21 / 107 » Verification of Distributed Firewalls |
DEBS
2007
ACM
14 years 1 months ago
2007
ACM
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
BROADNETS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
ECEASST
2008
13 years 10 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
IEEESP
2008
13 years 10 months ago
2008
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...