13717 search results - page 288 / 2744 » Control Systems |
153
click to vote
SP
2005
IEEE
16 years 3 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
133
click to vote
OOPSLA
2005
Springer
16 years 23 hour ago
2005
Springer
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...