17018 search results - page 3062 / 3404 » From the How to the What |
182
click to vote
OTM
2005
Springer
16 years 7 days ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
192
click to vote
OTM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
187
click to vote
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
In this paper, we examine the performance of frequent pattern mining algorithms on a modern processor. A detailed performance study reveals that even the best frequent pattern min...
205
click to vote
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
Simultaneous multithreading (SMT) allows multiple threads to supply instructions to the instruction pipeline of a superscalar processor. Because threads share processor resources,...
175
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...