752 search results - page 113 / 151 » A Markov Chain Model Checker |
139
click to vote
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In cognitive mobile multihop relay (CMMR) network, the mobile user as the primary user is allocated with the channel for transmitting data. Relay station as the secondar...
102
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The TCP window size process appears in the modeling of the famous Transmission Control Protocol used for data transmission over the Internet. This continuous time Markov process t...
123
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
We examine distributed time-synchronization in mobile ad-hoc and sensor networks. The problem is to estimate the skews and offsets of clocks of all the nodes with respect to an arb...
108
click to vote
STOC
2006
ACM
16 years 2 months ago
2006
ACM
One of the major tasks of evolutionary biology is the reconstruction of phylogenetic trees from molecular data. The evolutionary model is given by a Markov chain on the true evolu...
BMCBI
2006
15 years 2 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...