5900 search results - page 119 / 1180 » Dependable Systems |
AAECC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
RULEML
2010
Springer
13 years 8 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
KDD
1995
ACM
14 years 1 months ago
1995
ACM
For semantic query optimization one needs detailed knowledgeabout the contents of the database. Traditional techniquesuse static knowledgeabout all possible states of the database...
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 ...
FIW
2007
13 years 11 months ago
2007
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...