213 search results - page 20 / 43 » A Model of Stateful Firewalls and Its Properties |
ECAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
ICALP
2003
Springer
14 years 23 days ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
AAAI
1990
13 years 8 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their ne...