752 search results - page 94 / 151 » A Markov Chain Model Checker |
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
IJCOMSYS
2008
13 years 8 months ago
2008
This paper presents a novel analytical model and an efficient admission control algorithm for IEEE 802.11 DCF access mechanism. In contrast to the previous approaches that only ana...
NAR
2008
13 years 8 months ago
2008
Given an input Protein Data Bank file (PDB) for a protein or RNA molecule, LocalMove is a web server that determines an on-lattice representation for the input biomolecule. The we...
PE
2007
Springer
13 years 8 months ago
2007
Springer
Join the Shortest Queue (JSQ) is a popular routing policy for server farms. However, until now all analysis of JSQ has been limited to First-Come-First-Serve (FCFS) server farms, ...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
A Bayesian marked point process (MPP) model is developed
to detect and count people in crowded scenes. The
model couples a spatial stochastic process governing number
and placem...