5216 search results - page 36 / 1044 » Planning as Model Checking |
IJSEKE
2011
13 years 2 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...
CADE
2004
Springer
14 years 11 months ago
2004
Springer
SPIN
2009
Springer
14 years 5 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...
CMSB
2009
Springer
14 years 2 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...
CAV
2006
Springer
14 years 2 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...