68 search results - page 11 / 14 » Tractability Results for Automatic Contracting |
112
click to vote
JSS
2002
15 years 1 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
127
click to vote
KESAMSTA
2010
Springer
15 years 8 days ago
2010
Springer
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
153
click to vote
GD
1998
Springer
15 years 6 months ago
1998
Springer
We demonstrate the H3Viewer graph drawing library, which can be run from a standalone program or in conjunction with other programs such as SGI's Site Manager application. Our...
149
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background -: Sequencing of EST and BAC end datasets is no longer limited to large research groups. Drops in per-base pricing have made high throughput sequencing accessible to in...
133
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...