Sciweavers

10669 search results - page 1761 / 2134
» Software - Implemented Self-healing System
Sort
View
SIGIR
2004
ACM
16 years 6 days ago
The patent retrieval task in the fourth NTCIR workshop
This paper describes the Patent Retrieval Task in the Fourth NTCIR Workshop, and the test collections produced in this task. We perform the invalidity search task, in which each p...
Atsushi Fujii, Makoto Iwayama, Noriko Kando
ARCS
2004
Springer
16 years 6 days ago
A Framework for Dependability Evaluation of Mechatronic Units
: Mechatronic units are characterized by a complex interaction of functions from mechanics, electronics, communication and computer systems. These different fields of technology as...
Hans-Dieter Kochs, Jörg Petersen
BIRTHDAY
2004
Springer
16 years 5 days ago
Composing Hidden Information Modules over Inclusive Institutions
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
Joseph A. Goguen, Grigore Rosu
173
Voted
CBSE
2004
Springer
16 years 5 days ago
Correctness of Component-Based Adaptation
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
Sandeep S. Kulkarni, Karun N. Biyani
CC
2004
Springer
127views System Software» more  CC 2004»
16 years 5 days ago
Analyzing Memory Accesses in x86 Executables
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
Gogul Balakrishnan, Thomas W. Reps
« Prev « First page 1761 / 2134 Last » Next »