752 search results - page 102 / 151 » A Markov Chain Model Checker |
COORDINATION
2009
Springer
14 years 12 hour ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
TCAD
1998
13 years 8 months ago
1998
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...
JMLR
2010
13 years 3 months ago
2010
Deep belief networks are a powerful way to model complex probability distributions. However, it is difficult to learn the structure of a belief network, particularly one with hidd...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—In this paper, we propose an integrated service-based handoff scheme with (ISBQ) and without queue capability (ISB) for the cellular and WLAN integration. The proposed handoff s...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—An interesting feature of the 3G cellular networks is their ability to support multiple data rates. Though the performance of TCP over wireless networks has been well studied, t...