286 search results - page 6 / 58 » A Markov Chain Model of the B-Cell Algorithm |
ICFEM
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
We apply a novel theoretical approach to better understand the behaviour of different types of bare-bones PSOs. It avoids many common but unrealistic assumptions often used in an...
PAPM
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
PE
2010
Springer
13 years 5 months ago
2010
Springer
Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...