Sciweavers

12 search results - page 3 / 3
» Speaking and acting - Interacting language and action for an...
Sort
View
ISW
2004
Springer
13 years 10 months ago
Model-Checking Access Control Policies
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobben...
PODS
2006
ACM
156views Database» more  PODS 2006»
14 years 5 months ago
From statistical knowledge bases to degrees of belief: an overview
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
Joseph Y. Halpern