Sciweavers

354 search results - page 22 / 71
» On Obligations
Sort
View
ATAL
2003
Springer
14 years 3 months ago
Norm adoption in the NoA agent architecture
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
Martin J. Kollingbaum, Timothy J. Norman
EDOC
2002
IEEE
14 years 2 months ago
Discretionary Enforcement of Electronic Contracts
As in traditional commerce, parties to a contract in ebusiness environments are expected to operate in good faith and comply with mutually agreed terms of contract. It may be the ...
Zoran Milosevic, Audun Jøsang, Theodosis Di...
COLCOM
2009
IEEE
14 years 2 months ago
Building a stateful reference monitor with coloured petri nets
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
Basel Katt, Michael Hafner, Xinwen Zhang
ATAL
2010
Springer
13 years 11 months ago
Programming norm change
To adequately deal with the unpredictable and dynamic environments normative frameworks are typically deployed in, mechanisms for modifying the norms at runtime are crucial. We pr...
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules C...
AOSD
2012
ACM
12 years 5 months ago
A closer look at aspect interference and cooperation
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
Cynthia Disenfeld, Shmuel Katz