10916 search results - page 1784 / 2184 » On Constructive Connectives and Systems |
219
click to vote
SACMAT
2006
ACM
16 years 25 days ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
172
click to vote
DRM
2005
Springer
16 years 12 days ago
2005
Springer
Watermarking technologies have been envisioned as a potential means for establishing ownership on digital media objects. However, achievable robustness and false-positive rates of...
180
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
203
click to vote
ICA3PP
2005
Springer
16 years 12 days ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
218
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...