4212 search results - page 319 / 843 » Rights Expression Languages |
159
click to vote
TARK
2007
Springer
16 years 24 days ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
207
click to vote
ADVIS
2006
Springer
16 years 20 days ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
187
click to vote
GPCE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
175
click to vote
CCS
2004
ACM
16 years 2 days ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
155
click to vote
TSD
2004
Springer
16 years 16 hour ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...