4447 search results - page 49 / 890 » Model Checking Games |
165
click to vote
IJSEKE
2011
14 years 6 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
131
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
144
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
132
Voted
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...