Sciweavers

4212 search results - page 15 / 843
» Rights Expression Languages
Sort
View
ESORICS
1994
Springer
15 years 3 months ago
On the Expressive Power of the Unary Transformation Model
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...
Ravi S. Sandhu, Srinivas Ganta
DLOG
2004
15 years 1 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
PPDP
2009
Springer
15 years 6 months ago
On the expressive power of priorities in CHR
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Me...