156 search results - page 13 / 32 » Validating Requirements for Fault Tolerant Systems using Mod... |
CCGRID
2001
IEEE
13 years 11 months ago
2001
IEEE
In this paper, we address the new problem of protecting volunteer computing systems from malicious volunteers who submit erroneous results by presenting sabotagetolerance mechanis...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
PODC
2012
ACM
11 years 10 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...
DFT
2007
IEEE
14 years 1 months ago
2007
IEEE
We introduce a reliable memory system that can tolerate multiple transient errors in the memory words as well as transient errors in the encoder and decoder (corrector) circuitry....
ENTCS
2002
13 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...