4212 search results - page 305 / 843 » Rights Expression Languages |
181
click to vote
CAISE
2004
Springer
16 years 1 days ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
171
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
177
click to vote
DLOG
1996
15 years 8 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...
188
click to vote
IJISEC
2007
15 years 6 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
172
click to vote
DSL
2009
15 years 4 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...