213 search results - page 19 / 43 » A Model of Stateful Firewalls and Its Properties |
FATES
2003
Springer
14 years 23 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
MATES
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
AICCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
SSS
2005
Springer
14 years 1 months ago
2005
Springer
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...