283 search results - page 1 / 57 » Improving System Dependability with Functional Alternatives |
DSN
2004
IEEE
13 years 8 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
CSL
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
WEBDB
2009
Springer
13 years 10 months ago
2009
Springer
Recently, the opportunity of extracting structured data from the Web has been identified by a number of research projects. One such example is that millions of relational-style H...
PVLDB
2008
13 years 3 months ago
2008
We present SEMANDAQ, a prototype system for improving the quality of relational data. Based on the recently proposed conditional functional dependencies (CFDs), it detects and rep...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...