1222 search results - page 44 / 245 » A Bayesian Approach to Model Checking Biological Systems |
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
105
click to vote
ENTCS
2006
14 years 11 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
100
click to vote
JCB
2002
14 years 11 months ago
2002
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
110
click to vote
SPIN
2009
Springer
15 years 6 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...
112
click to vote
NPL
2002
14 years 11 months ago
2002
A neural network model of associative memory is presented which unifies the two historically more relevant enhancements to the basic Little-Hopfield discrete model: the graded resp...