805 search results - page 14 / 161 » On the Role of Integrity Constraints in Data Integration |
BIB
2008
14 years 9 months ago
2008
A major challenge facing biodiversity informatics is integrating data stored in widely distributed databases. Initial efforts have relied on taxonomic names as the shared identifi...
80
Voted
BIBE
2008
IEEE
15 years 4 months ago
2008
IEEE
—The post-genomic era is characterized by the rapid data accumulation leading to unwieldy and large volumes of biological data. The proteomics results (large sets of identified p...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
CADE
2004
Springer
15 years 10 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...