213 search results - page 8 / 43 » A Model of Stateful Firewalls and Its Properties |
SIGSOFT
2003
ACM
14 years 23 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—Complex networks, modeled as large graphs, received much attention during these last years. However, data on such networks is only available through intricate measuremen...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents our work in the context of the Adaptive Resource Management (ARM) internal research project at the University of Milano-Bicocca, Italy. The project addresse...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
In this and the associated article BioBlender: A Software for Intuitive Representation of Surface Properties of Biomolecules [1], we present BioBlender as a complete instrument fo...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
— This paper studies a variant of the classical problem of “writing on dirty paper” in which the sum of the input and the interference, or dirt, is multiplied by a random var...