Sciweavers

4212 search results - page 570 / 843
» Rights Expression Languages
Sort
View
CSFW
2010
IEEE
15 years 10 months ago
Constraining Credential Usage in Logic-Based Access Control
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
Lujo Bauer, Limin Jia, Divya Sharma
AMAST
2006
Springer
15 years 10 months ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov
CDB
2004
Springer
158views Database» more  CDB 2004»
15 years 10 months ago
Constraint Databases, Data Structures and Efficient Query Evaluation
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
Joos Heintz, Bart Kuijpers
DASFAA
2004
IEEE
92views Database» more  DASFAA 2004»
15 years 10 months ago
Modeling Temporally Variable Transportation Networks
In this paper, a State-Based Dynamic Transportation Network (SBDTN) model is presented, which can be used to describe the spatiotemporal aspect of temporally variable transportatio...
Zhiming Ding, Ralf Hartmut Güting
CIKM
2006
Springer
15 years 10 months ago
Information retrieval from relational databases using semantic queries
Relational databases are widely used today as a mechanism for providing access to structured data. They, however, are not suitable for typical information finding tasks of end use...
Anand Ranganathan, Zhen Liu