2 search results - page 1 / 1 » Towards a Formalisation of Electronic Contracting Environmen... |
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
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 ...