1120 search results - page 136 / 224 » Eager Markov Chains |
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
100
click to vote
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
PRDC
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
103
click to vote
ICVS
1999
Springer
15 years 4 months ago
1999
Springer
Many modern computer vision systems are built by chaining together standard vision procedures, often in graphical programming environments such as Khoros, CVIPtools or IUE. Typical...
ISLPED
1998
ACM
15 years 4 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...