1222 search results - page 168 / 245 » A Bayesian Approach to Model Checking Biological Systems |
167
Voted
DKE
2008
15 years 4 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
141
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
117
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
133
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
170
Voted
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...