2661 search results - page 165 / 533 » Model Checking Performability Properties |
140
Voted
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
480
Voted
ICA
2012
Springer
13 years 11 months ago
2012
Springer
In this contribution, new online EM algorithms are proposed to perform inference in general hidden Markov models. These algorithms update the parameter at some deterministic times ...
116
Voted
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
145
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
169
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...