1810 search results - page 78 / 362 » BASE: Using Abstraction to Improve Fault Tolerance |
183
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
175
click to vote
DAGSTUHL
2009
15 years 7 months ago
2009
An increasingly important concern for modern systems design is how best to incorporate self-adaptation into systems so as to improve their ability to dynamically respond to faults,...
152
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper deals with tolerance to timing faults in time-constrained systems. TAFT (Time Aware Fault-Tolerant) is a recently devised approach which applies tolerance to timing vio...
151
click to vote
ETS
2007
IEEE
16 years 22 days ago
2007
IEEE
Dependability is an important attribute for microfluidic biochips that are used for safety-critical applications such as point-of-care health assessment, air-quality monitoring, a...
163
click to vote
EGC
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a research project about robot control across a computing Grid, first step toward a Grid solution for generic process control. A computational Grid can signi...