225 search results - page 4 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
DFT
1997
IEEE
14 years 2 months ago
1997
IEEE
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
We propose a class of constraints, referred to as conditional functional dependencies (CFDs), and study their applications in data cleaning. In contrast to traditional functional ...
ICFEM
2003
Springer
14 years 3 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
DCOSS
2007
Springer
14 years 4 months ago
2007
Springer
With the field of wireless sensor networks rapidly maturing, the focus shifts from “easy” deployments, like remote monitoring, to more difficult domains where applications imp...
SAC
2010
ACM
13 years 10 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...