Search Sciweavers | Sciweavers

533 search results - page 11 / 107

» Verification of Distributed Firewalls

click to vote

ACSAC
1999
IEEE

107views Security Privacy» more ACSAC 1999»

A Parallel Packet Screen for High Speed Networks

14 years 2 months ago

Download www.acsac.org

This paper demonstrates why security issues related to the continually increasing bandwidth of High Speed Networks (HSN) cannot be addressed with conventional firewall mechanisms....

Carsten Benecke

claim paper

Read More »

click to vote

FLAIRS
2000

103views Artificial Intelligence» more FLAIRS 2000»

Distributed Multi-Agent MSBN: Implementing Verification

13 years 11 months ago

Download www.aaai.org

Multiply Sectioned Bayesian Networks (MSBN)provide a coherence framework for multi-agent distributed interpretation tasks. Duringthe construction or dynamicformation of an MSBN,au...

Hongyu Geng, Yang Xiang

claim paper

Read More »

click to vote

FUIN
2010

172views more FUIN 2010»

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

13 years 7 months ago

Download home.hib.no

Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...

Michal Knapik, Wojciech Penczek, Maciej Szreter, A...

claim paper

Read More »

click to vote

IPPS
2002
IEEE

113views Distributed And Parallel Com...» more IPPS 2002»

Mechanical Verification of Hypercube Algorithms

14 years 3 months ago

Download www.univ-orleans.fr

Eric Gascard, Laurence Pierre

claim paper

Read More »