2 search results - page 1 / 1 » Rare Event Simulation for Highly Dependable Systems with Fas... |
QEST
2010
IEEE
13 years 8 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 10 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...