Sciweavers

4212 search results - page 15 / 843
» Rights Expression Languages
Sort
View
ESORICS
1994
Springer
13 years 11 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
13 years 8 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...
POPL
2001
ACM
14 years 7 months ago
Regular expression pattern matching for XML
Haruo Hosoya, Benjamin C. Pierce
PPDP
2009
Springer
14 years 1 months ago
On the expressive power of priorities in CHR
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Me...