752 search results - page 112 / 151 » A Markov Chain Model Checker |
121
click to vote
JCB
2007
15 years 3 months ago
2007
Analysis of biopolymer sequences and structures generally adopts one of two approaches: use of detailed biophysical theoretical models of the system with experimentally-determined...
143
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
129
Voted
KDD
2003
ACM
16 years 3 months ago
2003
ACM
Large and complex graphs representing relationships among sets of entities are an increasingly common focus of interest in data analysis--examples include social networks, Web gra...
128
Voted
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— The 802.15.4 WSN standard provides optional reliability through positive acknowledgments. Since positive-ACKs are not designed for energy efficiency, there is significa...
131
click to vote
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...