65 search results - page 12 / 13 » Comparing Cubes |
ICCD
2005
IEEE
14 years 6 months ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
DOLAP
2004
ACM
14 years 3 months ago
2004
ACM
In today’s OLAP systems, integrating fast changing data, e.g., stock quotes, physically into a cube is complex and time-consuming. The widespread use of XML makes it very possib...
COCOON
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we consider a new visual cryptography scheme that allows for sharing of multiple secret images on graphs: we are given an arbitrary graph (V, E) where every node an...
EGOV
2008
Springer
13 years 11 months ago
2008
Springer
Recently, the EU government has put a lot of effort into modernizing its public sectors using advanced information and communication technology (ICT). Together with various univers...
CLEIEJ
1998
13 years 9 months ago
1998
Parallel disk I/O subsystems are becoming more important in today’s large-scale parallel machines. Parallel disk systems provide a significant boost in I/O performance reducing ...