Sciweavers

9730 search results - page 393 / 1946
» Relating models of backtracking
Sort
View
SP
1996
IEEE
140views Security Privacy» more  SP 1996»
15 years 11 months ago
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
Simon N. Foley, Li Gong, Xiaolei Qian
SIGADA
1993
Springer
15 years 11 months ago
A Project Support Environment Reference Model
The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...
Alan W. Brown, David J. Carney, Peter H. Feiler, P...
204
Voted
SIGMOD
1993
ACM
140views Database» more  SIGMOD 1993»
15 years 11 months ago
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
Ralf Hartmut Güting
VLDB
1993
ACM
73views Database» more  VLDB 1993»
15 years 11 months ago
A Model of Methods Access Authorization in Object-oriented Databases
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...
Nurit Gal-Oz, Ehud Gudes, Eduardo B. Fernán...
ICDE
2007
IEEE
89views Database» more  ICDE 2007»
15 years 10 months ago
A Flexible Query Graph Based Model for the Efficient Execution of Continuous Queries
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
Yijian Bai, Hetal Thakkar, Haixun Wang, Carlo Zani...