15421 search results - page 69 / 3085 » Dependability |
ICSE
1992
IEEE-ACM
14 years 24 days ago
1992
IEEE-ACM
This paper describes a language-independent program representation--the program dependence graph--and discusses how program dependence graphs, together with operations such as pro...
SIGSOFT
1994
ACM
14 years 24 days ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
DEXAW
2004
IEEE
14 years 14 days ago
2004
IEEE
: A crucial prerequisite to externalized adaptation is an understanding of how components are interconnected, or more particularly how and why they depend on one another. Such depe...
DSN
2004
IEEE
14 years 14 days 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...
FSTTCS
2006
Springer
14 years 11 days ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...