79 search results - page 8 / 16 » Quantitative Analysis of Probabilistic Lossy Channel Systems |
LCPC
2001
Springer
13 years 12 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...
QEST
2008
IEEE
14 years 1 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
FOSSACS
2003
Springer
14 years 23 days ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...