10870 search results - page 133 / 2174 » Model Checking Programs |
126
click to vote
SPIN
2009
Springer
15 years 8 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...
117
click to vote
CMSB
2009
Springer
15 years 5 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...
109
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
110
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
102
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...