5578 search results - page 55 / 1116 » Base Class Injection |
130
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
120
Voted
CORR
2010
Springer
15 years 20 hour ago
2010
Springer
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
108
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
126
Voted
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
—Service-Oriented Architecture (SOA) is a popular design paradigm for distributed systems today. Its dynamics and loose coupling are predestined for self-adaptive systems. This a...
109
Voted
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...