455 search results - page 3 / 91 » A Logical Account of NGSCB |
IFIP
2004
Springer
15 years 2 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
72
Voted
DALT
2009
Springer
15 years 27 days ago
2009
Springer
Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievemen...
174
click to vote
POPL
2008
ACM
15 years 9 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
73
Voted
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
163
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...