Sciweavers

24444 search results - page 286 / 4889
» A Data Model for Data Integration
Sort
View
CAV
2008
Springer
115views Hardware» more  CAV 2008»
15 years 8 months ago
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wo...
BMCBI
2006
117views more  BMCBI 2006»
15 years 6 months ago
G-InforBIO: integrated system for microbial genomics
Background: Genome databases contain diverse kinds of information, including gene annotations and nucleotide and amino acid sequences. It is not easy to integrate such information...
Naoto Tanaka, Takashi Abe, Satoru Miyazaki, Hideak...
ADBIS
2007
Springer
125views Database» more  ADBIS 2007»
16 years 23 days ago
Towards Self-Optimization of Message Transformation Processes
The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...
Matthias Böhm, Dirk Habich, Uwe Wloka, Jü...
DEXA
2007
Springer
144views Database» more  DEXA 2007»
16 years 22 days ago
Cooperative Data Management for XML Data
Emerging non-standard applications like the production of high-quality spatial sound pose new challenges to data management. Beside the need for a flexible transactional managemen...
Katja Hose, Kai-Uwe Sattler
FAST
2008
15 years 9 months ago
Parity Lost and Parity Regained
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
Andrew Krioukov, Lakshmi N. Bairavasundaram, Garth...