Sciweavers

7 search results - page 2 / 2
» Specifying and Monitoring Market Mechanisms Using Rights and...
Sort
View
SELMAS
2004
Springer
13 years 10 months ago
A Software Framework for Automated Negotiation
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
Claudio Bartolini, Chris Preist, Nicholas R. Jenni...
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
13 years 9 months ago
Symbolic model checking of institutions
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 ...
Francesco Viganò, Marco Colombetti