In this research abstract we describe our approach towards the design of ensemble-based component systems. Our motivation lies in the fact that, in these systems, tracing the behavior of individual constituents to system-level goals and requirements is challenging. Our approach is based on a novel invariant-based model that achieves the desired traceability. Along with using the model in a meth...

The natural gas supply chain involves three main agents: producers, transportation companies, and local distribution companies (LDCs). We present a MIP model that is the basis for a decision support system developed for a Chilean LDC. This model takes into account many of the complexities of the purchasing and transportation contracts to help optimize daily purchase and transportation decisions...

IT outsourcing is about contracting technology services to a third-party but involves much more than the contractual definition of the arrangement. Structuring the alliance, managing the relationship and planning for the business must complement the contractual arrangements. It is not until all of these elements are aligned that IT outsourcing is likely

We propose, develop, and implement techniques for achieving contractual anonymity. In contractual anonymity, a user and service provider enter into an anonymity contract. The user is guaranteed anonymity and message unlinkability from the contractual anonymity system unless she breaks the contract. The service provider is guaranteed that it can identify users who break the contract. The signifi...

This study reports on computational experiments for an agent-based labor market model with adaptive choice and refusal of worksite partners and with endogenously evolving worksite behaviors. Two treatment factors are experimentally varied: market structure; and ex ante capacity constraints on potential work ooers and job openings. Particular attention is focused on experimentally determined cor...

We focus on syntactic aspects of differential awareness that give rise to contractual disputes. Boundedly rational parties use a common language, but do not share a common understanding of the world, leading to ambiguity in both syntactic and semantic forms. In contractual relationships, ambiguity leads to disagreement and disputes. We show that the agents may prefer simpler less ambiguous cont...

The article examines the issue of basis and such conditions pre-contractual liability a medical organization, as wrongfulness guilt. As result analysis, it is concluded that guilt unlawfulness when brought to liability, are supplemented by condition bad faith, which may complement or not be applied at all. In cases where norms law violated, an additional characterization behavior organization u...