The information systems outsourcing market has seen rapid growth. Companies are increasingly choosing to outsource many of their information systems activities to services firms rather than sourcing them internally. This trend is inconsistent with the predictions of some of the published literature which point to the high costs of using an outside market. These articles, based on transaction co...

We address the problem of verifying that functions a program meet their contracts, specified by pre/postconditions. follow an approach based on constrained Horn clauses (CHCs) which verification is reduced to checking satisfiability set derived from given and contracts. consider programs manipulate algebraic data types (ADTs) class contracts catamorphisms, is, defined simple recursion schemata ...

We present CO2 , a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among participant...

The capability to reallocate items|e.g. tasks, securities , bandwidth slices, Mega Watt hours of electricity , and collectibles|is a key feature in automated negotiation. Especially when agents have preferences over combinations of items, this is highly nontrivial. Marginal cost based reallocation leads to an anytime algorithm where every agent's payoo increases mono-tonically over time. Diiere...

While procedural languages are commonly used to program smart contracts in blockchain systems, logic-based languages may be interesting alternatives. In this paper, we inspect what are the possible legal and technical (dis)advantages of logic-based smart contracts in light of common activities featuring ordinary contracts, then we provide insights on how to use such logic-based smart contracts ...