1345 search results - page 148 / 269 » Reliable dissolve detection |
113
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
132
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
Large-scale hosting infrastructures require automatic system anomaly management to achieve continuous system operation. In this paper, we present a novel adaptive runtime anomaly ...
149
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
136
click to vote
DAS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, a reliable and efficient structural analysis method for mathematical formulae is proposed for practical mathematical OCR. The proposed method consists of three steps...
124
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...