1171 search results - page 8 / 235 » A Logical Language for Expressing Authorizations |
125
Voted
TKDE
2008
15 years 1 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
119
Voted
ROBOCUP
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
123
Voted
CNL
2009
14 years 11 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
141
Voted
CCS
2005
ACM
15 years 7 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
115
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...