253 search results - page 20 / 51 » Using Fault Modeling in Safety Cases |
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
AAAI
1993
13 years 11 months ago
1993
A novel approach to integrating case-based reasoning with model-based diagnosis is presented. The main idea is to use the model of the device and the results of diagnostic tests t...
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
ICDCS
2002
IEEE
14 years 2 months ago
2002
IEEE
Just like Remote Procedure Call (RPC) turned out to be a very effective OS abstraction in building client-server applications over LANs, Type-based Publish-SubTPS) can be viewed a...
ICCAD
2008
IEEE
14 years 6 months ago
2008
IEEE
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...