2502 search results - page 117 / 501 » Using probabilistic model checking in systems biology |
154
click to vote
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
153
click to vote
FOSSACS
2009
Springer
16 years 8 days ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
204
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
177
click to vote
ISMB
1998
15 years 6 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
152
click to vote
QEST
2009
IEEE
16 years 6 days ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...