Sciweavers

250 search results - page 28 / 50
» Lost source provenance
Sort
View
ATS
2003
IEEE
87views Hardware» more  ATS 2003»
14 years 25 days ago
March SL: A Test For All Static Linked Memory Faults
The analysis of linked faults has proven to be a source for new memory tests, characterized by an increased fault coverage. The paper gives a set of five new tests to target all ...
Said Hamdioui, Zaid Al-Ars, A. J. van de Goor, Mik...
ICEIS
2003
IEEE
14 years 24 days ago
An XML View of the "World"
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
ATAL
2001
Springer
14 years 1 days ago
Formalizing a Language for Institutions and Norms
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
Marc Esteva, Julian A. Padget, Carles Sierra
ICSM
1999
IEEE
13 years 11 months ago
A Language Independent Approach for Detecting Duplicated Code
Code duplication is one of the factors that severely complicates the maintenance and evolution of large software systems. Techniques for detecting duplicated code exist but rely m...
Stéphane Ducasse, Matthias Rieger, Serge De...
ICCL
1998
IEEE
13 years 11 months ago
Modular Compilers Based on Monad Transformers
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
William L. Harrison, Samuel N. Kamin