Searching for "Contracts and types." – sorted by Relevance.
391 documents found, showing 1 through 10.
Next 10 →
-
Contract Type Sequencing for Reallocative Negotiation
- …Contract Type Sequencing for Reallocative Negotiation Martin Andersson and Tuomas Sandholm fmra…
- Cited by 9 (2 self) – Add To MetaCart
-
Sequencing of Contract Types for Anytime Task Reallocation
- …Sequencing of Contract Types for Anytime Task Reallocation Martin R. Andersson and Tuomas W…
- Cited by 6 (2 self) – Add To MetaCart
-
Throwing a Party: Contracting with Type dependent Externalities
- …Throwing a Party: Contracting with Type dependent Externalities Shai Bernstein Eyal Winter y…
- Add To MetaCart
-
Contract Types for Satisficing Task Allocation: II Experimental Results
- …Contract Types for Satisficing Task Allocation: II Experimental Results Martin R. Andersson…
- Cited by 11 (6 self) – Add To MetaCart
-
Contract types for satisficing task allocation: I Theoretical results
- …Contract Types for Satisficing Task Allocation: I Theoretical Results Tuomas W. Sandholm sandholm…
- Cited by 68 (7 self) – Add To MetaCart
-
Time-Quality Tradeoffs in Reallocative Negotiation with Combinatorial Contract Types
- …Time-Quality Tradeoffs in Reallocative Negotiation with Combinatorial Contract Types Martin…
- Cited by 11 (5 self) – Add To MetaCart
-
Typed contracts for functional programming
- …Typed Contracts for Functional Programming Ralf Hinze 1 , Johan Jeuring 2 , and Andres Löh 1 1…
- Cited by 9 (0 self) – Add To MetaCart
-
Unifying hybrid types and contracts
- …Unifying Hybrid Types and Contracts Jessica Gronski and Cormac Flanagan University of California…
- Cited by 2 (0 self) – Add To MetaCart
-
Types of Quality of Service Contracts for Component-Based Systems
- …Types of Quality of Service Contracts for Component-Based Systems ABSTRACT In this paper, we…
- Cited by 1 (1 self) – Add To MetaCart
-
Object Coordination Nets 3.0: Synchronization Behavior Typing for Contracts
- … is interested in simply applying the OCoN approach. This Synchronization Behavior Typing for Contracts report…
- Cited by 5 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
