778 search results - page 67 / 156 » Improved universal denominators |
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Patching technologies are commonly applied to improve the dependability of software after release. This paper proposes an autonomous hot patching (AHP) framework to fully automate...
ISPW
2005
IEEE
15 years 3 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
ISSRE
2005
IEEE
15 years 3 months ago
2005
IEEE
Although N-version programming has been employed in some mission-critical applications, the reliability and fault correlation issues remain a debatable topic in the research commu...
CLEF
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we present the results of BUAP/UPV universities in WebCLEF, a particular task of CLEF 2005. Particularly, we evaluate our information retrieval system at th...
FM
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...