2 search results - page 1 / 1 » Bound-Preserving Composition for Markov Reward Models |
QEST
2006
IEEE
13 years 10 months ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...