59 search results - page 1 / 12 » Formalizing a Language for Institutions and Norms |
ATAL
2001
Springer
13 years 10 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
EUMAS
2006
13 years 7 months ago
2006
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, pro...
ACMICEC
2007
ACM
13 years 10 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
ATAL
2007
Springer
14 years 13 days ago
2007
Springer
SBIA
2004
Springer
13 years 11 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...