7 search results - page 1 / 2 » Specifying and Monitoring Market Mechanisms Using Rights and... |
AMEC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
AAMAS
2010
Springer
13 years 4 months ago
2010
Springer
ESORICS
2007
Springer
13 years 10 months ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...
CIA
2008
Springer
13 years 6 months ago
2008
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...