Sciweavers

6495 search results - page 1126 / 1299
» Modeling Multidimensional Databases
Sort
View
ER
2007
Springer
130views Database» more  ER 2007»
14 years 4 months ago
Towards Automated Reasoning on ORM Schemes
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
Mustafa Jarrar
ER
2007
Springer
157views Database» more  ER 2007»
14 years 4 months ago
Perceived vs. Measured Quality of Conceptual Schemas: An Experimental Comparison
Frequently the behaviour of an information system is functionally correct, but it does not meet some quality criteria, such as completeness, consistency, and usability. One way to...
Samira Si-Said Cherfi, Jacky Akoka, Isabelle Comyn...
SPAA
2010
ACM
14 years 3 months ago
Transactions in the jungle
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
Rachid Guerraoui, Thomas A. Henzinger, Michal Kapa...
EDBT
2009
ACM
156views Database» more  EDBT 2009»
14 years 3 months ago
Evaluating very large datalog queries on social networks
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...
Royi Ronen, Oded Shmueli
IFIP
2001
Springer
14 years 3 months ago
Security Documentation
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
Lam-for Kwok, Peggy P. K. Fung, Dennis Longley
« Prev « First page 1126 / 1299 Last » Next »