3899 search results - page 241 / 780 » Argumentation for Access Control |
138
click to vote
CRYPTO
1998
Springer
15 years 11 months ago
1998
Springer
We introduce delegation schemes wherein a user may delegate certain rights to himself, but may not safely delegate these rights to others. In our motivating application, a user ha...
139
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
The growing disparity between processor and memory speeds has caused memory bandwidth to become the performance bottleneck for many applications. In particular, this performance g...
146
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
133
click to vote
CRYPTO
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...
159
click to vote
JUCS
2008
15 years 6 months ago
2008
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...