4842 search results - page 734 / 969 » A Calculus for Data Mapping |
279
click to vote
ISSTA
2004
ACM
16 years 12 hour ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
154
click to vote
AP2PC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Data integration, in the context of the web, faces new problems, due in particular to the heterogeneity of sources, to the fragmentation of the information and to the abs...
179
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents an application that aims at identifying optimal locations based on partially ordered constraints. It combines a tool developed in this project that al...
139
click to vote
ECWEB
2004
Springer
15 years 12 months ago
2004
Springer
RDDOnto is an ontology that translates the MPEG-21 RDD (Rights Data Dictionary) specification into a hierarchical set of definitions with semantic content included. In the event th...
175
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...