5 search results - page 1 / 1 » Norm compliance of protocols in electronic institutions |
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
ACMICEC
2007
ACM
13 years 8 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
13 years 8 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
13 years 10 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
13 years 10 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...