213 search results - page 2 / 43 » A Model of Stateful Firewalls and Its Properties |
MEMOCODE
2003
IEEE
13 years 11 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
DCC
2008
IEEE
14 years 5 months ago
2008
IEEE
The name `graph state' is used to describe a certain class of pure quantum state which models a physical structure on which one can perform measurement-based quantum computin...
DAGSTUHL
2006
13 years 7 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
TSE
2010
13 years 14 days ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
ICIAP
2001
Springer
14 years 5 months ago
2001
Springer
An algorithm for automatic modelling of wavelet coefficients from context properties is presented. The algorithm is used to implement an image coder, in order to demonstrate its i...