4737 search results - page 169 / 948 » The LOGIC negotiation model |
COMPSAC
2011
IEEE
12 years 9 months ago
2011
IEEE
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
ENTCS
2007
13 years 9 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
SPW
2004
Springer
14 years 3 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...