Sciweavers

7 search results - page 2 / 2
» Specifying and Monitoring Market Mechanisms Using Rights and...
Sort
View
SELMAS
2004
Springer
14 years 1 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»
14 years 16 days 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