380 search results - page 56 / 76 » Process Algebra and Markov Chains |
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
ISSRE
2010
IEEE
13 years 6 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
CMSB
2010
Springer
13 years 2 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
STACS
2012
Springer
12 years 3 months ago
2012
Springer
Queueing networks are gaining attraction for the performance analysis of parallel computer systems. A Jackson network is a set of interconnected servers, where the completion of a...
NIPS
2000
13 years 9 months ago
2000
We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and p...