285 search results - page 3 / 57 » On Specifying Contract Negotiations |
SAC
2009
ACM
14 years 11 days ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
DGO
2003
13 years 7 months ago
2003
Business to Government (B2G) e-commerce has increased manifold the opportunities available for entrepreneurs for global trade. The entrepreneurs can deal with businesses around th...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
ERLANG
2007
ACM
13 years 9 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...