2 search results - page 1 / 1 » Rare Event Simulation for Highly Dependable Systems with Fas... |
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
SAC
2006
ACM
13 years 4 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...