5 search results - page 1 / 1 » Norm compliance of protocols in electronic institutions |
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
ACMICEC
2007
ACM
14 years 2 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 ...
DALT
2004
Springer
14 years 2 months ago
2004
Springer
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of ...
SBIA
2004
Springer
14 years 4 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...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
We show how protocols can be derived from norms using landmarks. The resulting protocols can be used by agents to fulfill the norms governing an e-institution without having to h...