Sciweavers

4212 search results - page 47 / 843
» Rights Expression Languages
Sort
View
NDSS
2003
IEEE
15 years 7 months ago
Access Control Based on Execution History
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
Martín Abadi, Cédric Fournet
POLICY
2004
Springer
15 years 7 months ago
Cassandra: Distributed Access Control Policies with Tunable Expressiveness
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
Moritz Y. Becker, Peter Sewell
SOFSEM
2009
Springer
15 years 10 months ago
Expressiveness of Multiple Heads in CHR
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiar...
BIRTHDAY
1999
Springer
15 years 6 months ago
Thompson Languages
We define simple-regular expressions and languages. Simple-regular languages provide a necessary condition for a language to be outfix-free. We design algorithms that compute si...
Dora Giammarresi, Jean-Luc Ponty, Derick Wood
AAAI
2000
15 years 3 months ago
A Conjunctive Query Language for Description Logic Aboxes
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
Ian Horrocks, Sergio Tessaris