There is no silver bullet for software engineering Fred Brooks, early 1970s Everyone is talking about OOP, no one knows what it is? Tim Rentsch, 1979 Reactive systems cannot be modeled by algorithms Zohar Manna and Amir Pnueli, 1980s Concurrent systems cannot be modeled by algorithms Robin Milner, 1992 Many signs that Turing machines (TMs) cannot model OOP knowing what OO is: not possible by al...

We introduce a general Principal-Agent model with subjective evaluation and malfeasance characterized by two-sided asymmetric information on performance that allows for an arbitrary information structure. Two generic contract forms are studied. An authority contract has the Principal reveal his information before the Agent responds with her information. Under such a contract, the Agent's compen...

Contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-Contract is the computerized facilitation or automation of a contract in a cross-organizational business process. In this paper, motivated by sales contracts, we propose a systematic way to perform negotiation activities over the Internet, in order to reduce the cost and improve th...

Prior studies on performance-based contracting (PBC) for after-sales services have highlighted its advantages over traditional resource-based contracting (RBC), when products are established and their reliability is known to all parties. We develop a game theoretic model to investigate how these insights are affected when the vendor is privately informed about the reliability of a newly develop...

This paper examines the changes of royalty terms of technology import contracts of Japan in 1980s and 1990s, based on the sector-level panel data. Major findings are the following: (1) The share of high royalty contracts increased significantly in 1980s and 1990s, which, however, mainly reflected the change of the composition of imported technologies, especially the increasing share of software...

A new methodology, for optimal customer selection in cross-selling of financial services products, such as mortgage loans and non life insurance contracts, is presented. The optimal cross-sales selection of prospects is such that the expected profit is maximized, while at the same time the risk of suffering future losses is minimized. Expected profit maximization and mean-variance optimization ...

We consider a game between two capacity providers that compete for customers through a broker who works on commissions and sells to both loyal and non-loyal customers. The capacity providers compete by selecting commission margins and sales thresholds at which commissions on all sales increase. We show that in equilibrium, contracts require positive sales thresholds. The threshold requirement c...

This paper presents a revenue maximisation model for sales channel allocation based on dynamic programming. It helps the media seller to determine how to distribute the sales volume of page views between guaranteed and nonguaranteed channels for display advertising. The model can algorithmically allocate and price the future page views via standardised guaranteed contracts in addition to real-t...

This study investigates the channel coordination issue of a supply chain with a risk-neutral manufacturer and a loss-averse retailer facing stochastic demand that is sensitive to sales effort. Under the loss-averse newsvendor setting, a distribution-free gain/loss-sharing-and-buyback (GLB) contract has been shown to be able to coordinate the supply chain. However, we find that a GLB contract re...