10669 search results - page 1780 / 2134 » Software - Implemented Self-healing System |
172
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply thi...
165
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
215
click to vote
CDVE
2006
Springer
15 years 10 months ago
2006
Springer
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
152
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
161
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
In this report we describe the approach of the University of Twente to the 2006 GeoCLEF task. It is based on retrieval by content and the subsequent filtering by geographical rele...