14 search results - page 2 / 3 » Run-Time Monitoring of Electronic Contracts |
WECWIS
2003
IEEE
13 years 10 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
CEEMAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
EDOC
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper we sketch a framework supporting contract enactment within the context of virtual organisation units that are dynamically created in order to achieve a common object...
APSEC
2005
IEEE
13 years 11 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
ATAL
2009
Springer
13 years 12 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...