752 search results - page 90 / 151 » A Markov Chain Model Checker |
QOSA
2010
Springer
14 years 4 days ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
IPSN
2004
Springer
14 years 2 months ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, we use marked point processes to perform an unsupervised extraction of the coronary tree from 2D X-ray angiography. These processes provide a rigorous framework bas...
DSN
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
CAMAD
2009
IEEE
14 years 1 months ago
2009
IEEE
—The pseudo self similar processes are quite attractive due to their simplicity but the question we are interested in this paper concerns the basic estimation of such models. How...