2005 search results - page 224 / 401 » Decisive Markov Chains |
128
click to vote
LCN
2000
IEEE
15 years 6 months ago
2000
IEEE
In this paper, variable bit rate (VBR) H.261 encoded video traffic is modeled by a nonlinear time series process. A threshold autoregressive (TAR) process is of particular interes...
106
click to vote
CONCUR
2000
Springer
15 years 6 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...
115
click to vote
ARTS
1999
Springer
15 years 6 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 6 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...
108
click to vote
ISLPED
1998
ACM
15 years 6 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...