1532 search results - page 98 / 307 » An analysis of additivity in OLAP systems |
CCS
2006
ACM
14 years 25 days ago
2006
ACM
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
CEC
2010
IEEE
13 years 10 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...
VALUETOOLS
2006
ACM
14 years 3 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
EMSOFT
2006
Springer
14 years 23 days ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
TABLEAUX
2000
Springer
14 years 20 days ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...