15421 search results - page 69 / 3085 » Dependability |
105
click to vote
ICSE
1992
IEEE-ACM
15 years 6 months 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...
105
click to vote
SIGSOFT
1994
ACM
15 years 6 months 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...
102
click to vote
DEXAW
2004
IEEE
15 years 6 months 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...
153
Voted
DSN
2004
IEEE
15 years 6 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...
129
click to vote
FSTTCS
2006
Springer
15 years 6 months 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...