In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina S...
This work presents the architecture of PROSIDIS, a special purpose processor designed to search for the occurrence of substrings similar to a given ‘template string’ within a ...
Alessandro Marongiu, Paolo Palazzari, Vittorio Ros...
In this paper, we investigate innovative techniques of achieving software flexibility in a workflow environment. We believe that by incorporating workflow technology and intellige...
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
Existing data-integration systems based on the mediation architecture employ a variety of mechanisms to describe the query-processing capabilities ofsources. However, these system...