5550 search results - page 960 / 1110 » Different Approaches to Proof Systems |
157
click to vote
ICICS
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a policy-based framework for managing access control in distributed heterogeneous systems. This framework is based on the PDP/PEP approach. The PDP (Policy Deci...
178
click to vote
NPAR
2010
ACM
15 years 11 months ago
2010
ACM
Recent works in image editing are opening up new possibilities to manipulate and enhance input images. Within this context, we leverage well-known characteristics of human percept...
162
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
195
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—Packet delay traces are important measurements for analyzing end-to-end performance and for designing traffic control algorithms in computer networks. Due to the fact t...
162
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Video streaming over wireless links is a non-trivial problem due to the large and frequent changes in the quality of the underlying radio channel combined with latency constraints...