3365 search results - page 527 / 673 » Multidimensional Data Modeling for Complex Data |
189
click to vote
DEXA
2000
Springer
15 years 8 months ago
2000
Springer
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...
132
click to vote
SC
1991
ACM
15 years 8 months ago
1991
ACM
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-...
138
click to vote
AAAI
2007
15 years 7 months ago
2007
We present black-box techniques for learning how to interleave the execution of multiple heuristics in order to improve average-case performance. In our model, a user is given a s...
145
click to vote
USS
2008
15 years 7 months ago
2008
The State of Ohio commissioned the EVEREST study in late summer of 2007. The study participants were charged with an analysis of the usability, stability, and security of all voti...
144
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...