192 search results - page 11 / 39 » Actor-Centric Modeling of User Rights |
SBBD
2007
13 years 9 months ago
2007
Abstract. We consider the problem of XML schema evolution preserving the validity of existing documents related to the original schema. The aim of such schema evolution is to fit ...
ADAPTIVE
2007
Springer
13 years 9 months ago
2007
Springer
With the exponential growth of the available information on the World Wide Web, a traditional search engine, even if based on sophisticated document indexing algorithms, has diffi...
GI
2008
Springer
13 years 8 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
FM
2003
Springer
14 years 28 days ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
DRM
2005
Springer
14 years 1 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...