Sciweavers

151 search results - page 10 / 31
» policy 2001
Sort
View
IWFM
2000
167views Formal Methods» more  IWFM 2000»
14 years 10 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
NIPS
2001
14 years 10 months ago
Variance Reduction Techniques for Gradient Estimates in Reinforcement Learning
Policy gradient methods for reinforcement learning avoid some of the undesirable properties of the value function approaches, such as policy degradation (Baxter and Bartlett, 2001...
Evan Greensmith, Peter L. Bartlett, Jonathan Baxte...
AGENTS
2001
Springer
15 years 1 months ago
Principles of intention reconsideration
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
Martijn C. Schut, Michael Wooldridge
DAGSTUHL
2001
14 years 10 months ago
A Language-Based Approach to Security
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
Fred B. Schneider, J. Gregory Morrisett, Robert Ha...
ICIS
1993
14 years 10 months ago
Markets and Privacy
In this paper we experimentally compare the welfare efficiency of ‘information markets’ – markets where consumer information can be traded, to markets where no trade in info...
Kenneth C. Laudon