4737 search results - page 169 / 948 » The LOGIC negotiation model |
190
Voted
COMPSAC
2011
IEEE
14 years 3 months ago
2011
IEEE
123
Voted
CAISE
2006
Springer
15 years 7 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...
119
click to vote
ENTCS
2007
15 years 3 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...
148
Voted
SPW
2004
Springer
15 years 8 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...
129
click to vote
ECAI
2006
Springer
15 years 5 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 ...