4212 search results - page 607 / 843 » Rights Expression Languages |
161
click to vote
JSAI
2007
Springer
16 years 20 days ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
165
click to vote
KI
2007
Springer
16 years 20 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
189
click to vote
LPAR
2007
Springer
16 years 20 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
177
click to vote
MODELS
2007
Springer
16 years 20 days ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
178
click to vote
PVM
2007
Springer
16 years 20 days ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...