6355 search results - page 1094 / 1271 » From Logic to Games |
203
click to vote
MM
2004
ACM
16 years 18 days ago
2004
ACM
This article argues for the growing importance of quality metadata and the equation of that quality with precision and semantic grounding. Such semantic grounding requires metadat...
208
click to vote
SAC
2004
ACM
16 years 18 days ago
2004
ACM
A data warehouse (DW) provides an information for analytical processing, decision making, and data mining tools. On the one hand, the structure and content of a data warehouse ref...
160
click to vote
SIGOPSE
2004
ACM
16 years 18 days ago
2004
ACM
In this paper we argue that the best approach to providing Quality of Service (QoS) guarantees to current Internet services is to use admission control and traffic shaping techni...
182
click to vote
ADC
2004
Springer
16 years 17 days ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
174
click to vote
AMAI
2004
Springer
16 years 17 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...