556 search results - page 35 / 112 » Checking Interval Properties of Computations |
136
click to vote
IFM
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
CSDA
2008
15 years 2 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
115
click to vote
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
102
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
112
click to vote
IJCAI
2007
15 years 3 months ago
2007
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...