Sciweavers

6495 search results - page 167 / 1299
» Modeling Multidimensional Databases
Sort
View
84
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
15 years 6 months ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
87
Voted
APN
2010
Springer
15 years 5 months ago
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
Christine Choppy, Anna Dedova, Sami Evangelista, S...
ICLP
2001
Springer
15 years 5 months ago
A Computational Model for Functional Logic Deductive Databases
Jesús Manuel Almendros-Jiménez, Anto...
69
Voted
CIKM
2000
Springer
15 years 5 months ago
An Access Control Model for Video Database Systems
Elisa Bertino, Moustafa A. Hammad, Walid G. Aref, ...