733 search results - page 1 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
ICLP
2003
Springer
13 years 9 months ago
2003
Springer
TLDI
2010
ACM
14 years 1 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
ICLP
2004
Springer
13 years 10 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
SBIA
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...