EDCC
2010
Springer
13 years 9 months ago
2010
Springer
EDCC
2010
Springer
13 years 9 months ago
2010
Springer
—This paper investigates sources of uncertainty in measurement results obtained using three different fault injection techniques. Two software-implemented and one test port-based...
EDCC
2010
Springer
13 years 9 months ago
2010
Springer
EDCC
2010
Springer
13 years 9 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
EDCC
2010
Springer
13 years 9 months ago
2010
Springer
EDCC
2010
Springer
13 years 9 months ago
2010
Springer
EDCC
2010
Springer
13 years 9 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
EDCC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
EDCC
2010
Springer
13 years 9 months ago
2010
Springer
EDCC
2010
Springer
13 years 9 months ago
2010
Springer