8177 search results - page 1222 / 1636 » Detecting System Emulators |
182
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The paper describes the conceptualisation process in the ReQuest approach, a wide-spectrum methodology for web-based information systems analysis and development. This methodology ...
167
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a hardware technique, called Self-Repairing Array Structures (SRAS), for masking hard faults in microprocessor array structures, such as the reorder buff...
174
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...
167
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...
165
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This article presents the first participation of the Avignon University Science Laboratory (LIA) to the Cross Language Evaluation Forum (CLEF). LIA participated to the monolingual ...