4212 search results - page 112 / 843 » Rights Expression Languages |
151
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
146
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
122
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
161
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...
153
click to vote
TCS
2002
15 years 6 months ago
2002
The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-fr...