Sciweavers

7 search results - page 1 / 2
» Specifying and Monitoring Market Mechanisms Using Rights and...
Sort
View
AMEC
2004
Springer
15 years 3 months ago
Specifying and Monitoring Market Mechanisms Using Rights and Obligations
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...
Loizos Michael, David C. Parkes, Avi Pfeffer
AAMAS
2010
Springer
14 years 10 months ago
Specifying and monitoring economic environments using rights and obligations
Loizos Michael, David C. Parkes, Avi Pfeffer
ESORICS
2007
Springer
15 years 4 months ago
A Policy Language for Distributed Usage Control
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...
Manuel Hilty, Alexander Pretschner, David A. Basin...
CIA
2008
Springer
15 years 2 days ago
Towards a Monitoring Framework for Agent-Based Contract Systems
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...
Noura Faci, Sanjay Modgil, Nir Oren, Felipe Rech M...
ATAL
2009
Springer
15 years 4 months ago
A framework for monitoring agent-based normative systems
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...
Sanjay Modgil, Noura Faci, Felipe Rech Meneguzzi, ...