1222 search results - page 55 / 245 » A Bayesian Approach to Model Checking Biological Systems |
217
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
182
click to vote
QEST
2009
IEEE
16 years 2 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
173
click to vote
SEFM
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
178
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
177
click to vote
KBSE
2002
IEEE
16 years 6 days ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...