1171 search results - page 163 / 235 » A Logical Language for Expressing Authorizations |
PODS
2007
ACM
15 years 12 months ago
2007
ACM
The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of `invisible' pebbles (as opposed to the usual `visible�...
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
106
click to vote
DBPL
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
126
click to vote
ECEASST
2008
14 years 12 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...