Sciweavers

2638 search results - page 46 / 528
» A Framework for Automatic Debugging
Sort
View
PASTE
2004
ACM
14 years 1 months ago
Elided conditionals
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
Manos Renieris, Sébastien Chan-Tin, Steven ...
SIGOPS
2010
95views more  SIGOPS 2010»
13 years 3 months ago
Toward automatic policy refinement in repair services for large distributed systems
In order to be economically feasible and to offer high levels of availability and performance, large scale distributed systems depend on the automation of repair services. While t...
Moisés Goldszmidt, Mihai Budiu, Yue Zhang, ...
DAS
2008
Springer
13 years 10 months ago
HistoSketch: A Semi-Automatic Annotation Tool for Archival Documents
This article describes a sketch-based framework for semi-automatic annotation of historical document collections. It is motivated by the fact that fully automatic methods, while h...
Joan Mas, José A. Rodríguez, Dimosth...
DEXAW
2007
IEEE
172views Database» more  DEXAW 2007»
14 years 13 days ago
X-SOM: A Flexible Ontology Mapper
System interoperability is a well known issue, especially for heterogeneous information systems, where ontologybased representations may support automatic and usertransparent inte...
Carlo Curino, Giorgio Orsi, Letizia Tanca
SERP
2003
13 years 10 months ago
Building Software Via Shared Knowledge
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
José R. Herrero, Juan J. Navarro