4502 search results - page 36 / 901 » Regular Model Checking |
SPIN
2009
Springer
14 years 4 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 1 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 1 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...
POPL
2002
ACM
14 years 10 months ago
2002
ACM
AB
2008
Springer
14 years 4 months ago
2008
Springer