1222 search results - page 159 / 245 » A Bayesian Approach to Model Checking Biological Systems |
114
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
163
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
139
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
139
click to vote
SECURWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
125
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...