327 search results - page 11 / 66 » Symbolic Fault Injection |
78
Voted
FTCS
1998
14 years 11 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
90
Voted
FGCS
2007
14 years 9 months ago
2007
One of the topics of paramount importance in the development of Grid middleware is the impact of faults, since their probability of occurrence in a Grid infrastructure and in larg...
69
Voted
SRDS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...
80
Voted
USITS
2003
14 years 11 months ago
2003
We propose a two-phase methodology for quantifying the performability (performance and availability) of cluster-based Internet services. In the first phase, evaluators use a fault...
65
Voted
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper presents a new and low-cost approach for identifying sequentially untestable faults. Unlike the single fault theorem, where the stuck-at fault is injected only in the r...