Sciweavers

10038 search results - page 377 / 2008
» Model Checking for Managers
Sort
View
CIKM
2000
Springer
15 years 11 months ago
An Access Control Model for Video Database Systems
Elisa Bertino, Moustafa A. Hammad, Walid G. Aref, ...
CIKM
1997
Springer
15 years 11 months ago
Modeling Temporal Primitives: Back to Basics
Iqbal A. Goralwalla, Yuri Leontiev, M. Tamer Ö...
EKAW
1997
Springer
15 years 11 months ago
An Instrument for a Purpose Driven Comparison of Modelling Frameworks
Frances M. T. Brazier, Niek J. E. Wijngaards
IDA
1997
Springer
15 years 11 months ago
Building Simple Models: A Case Study with Decision Trees
David Jensen, Tim Oates, Paul R. Cohen
DOLAP
2007
ACM
15 years 10 months ago
A probabilistic model for data cube compression and query approximation
Rokia Missaoui, Cyril Goutte, Anicet Kouomou Choup...