498 search results - page 46 / 100 » A Formal Foundation for XrML |
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniq...
ACSAC
1999
IEEE
15 years 2 months ago
1999
IEEE
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
FOIKS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is on query modification: ...
AIPS
2003
14 years 11 months ago
2003
We develop a hierarchical approach to planning for partially observable Markov decision processes (POMDPs) in which a policy is represented as a hierarchical finite-state control...
WOA
2000
14 years 11 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...