565 search results - page 71 / 113 » A logic for authorization provenance |
OTM
2004
Springer
14 years 2 months ago
2004
Springer
Case-based reasoning in the law is a reasoning strategy in which legal conclusions are supported by decisions made by judges. If the case at hand is analogous to a settled case, th...
ICWL
2009
Springer
14 years 1 months ago
2009
Springer
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
APN
2000
Springer
14 years 1 months ago
2000
Springer
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
TACAS
1999
Springer
14 years 1 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
VLDB
1990
ACM
14 years 27 days ago
1990
ACM
This paper presents an approach to maintaining consistency of object versions in multiversion database systems. In this approach a multiversion database is considered to be a set ...