556 search results - page 3 / 112 » Checking Interval Properties of Computations |
CMSB
2009
Springer
15 years 4 months ago
2009
Springer
111
click to vote
FM
2003
Springer
15 years 2 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
TACAS
2007
Springer
15 years 3 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...
AAAI
2000
14 years 10 months ago
2000
The main problem of planning is to find a sequence of actions that an agent must perform to achieve a given objective. An important part of planning is checking whether a given pl...
RP
2009
Springer
15 years 4 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...