1222 search results - page 171 / 245 » A Bayesian Approach to Model Checking Biological Systems |
142
Voted
IEE
2010
15 years 2 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
195
click to vote
FUIN
2007
15 years 4 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
154
click to vote
MVA
2006
15 years 4 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
140
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
155
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...