1583 search results - page 44 / 317 » Probabilistic User Behavior Models |
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
KBSE
2003
IEEE
14 years 28 days ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
CMSB
2010
Springer
13 years 2 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
ICDCS
2009
IEEE
14 years 4 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
HICSS
2003
IEEE
2003
IEEE
A probabilistic loading-dependent model of cascading failure and possible implications for blackouts
14 years 28 days ago
Catastrophic disruptions of large, interconnected infrastructure systems are often due to cascading failure. For example, large blackouts of electric power systems are typically c...