3645 search results - page 168 / 729 » Implementing mapping composition |
158
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
163
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
We present a novel framework for mapping between any combination of XML and relational schemas, in which a high-level, userspecified mapping is translated into semantically meanin...
182
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
Electronic concept mapping tools empower experts to play an active role in the knowledge capture process, and provide a medium for building richly connected multimedia knowledge m...
279
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with t...
189
click to vote
PE
2010
Springer
15 years 4 months ago
2010
Springer
We present the KPC-Toolbox, a library of MATLAB scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way based on the recently proposed Kro...