The emerging paradigm of service-oriented computing requires novel techniques for various service-related tasks. Along with automated support for service discovery, selection, negotiation, and composition, support for automated service contracting and enactment is crucial for any large scale service environment, where large numbers of clients and service providers interact. Many problems in thi...

JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts at the same time. Function contracts in JSContest serve a dual role as specifications of the input/output behavior and as test case generators. Generation of test data for a contract is principally random, but can be ...

interest free banking law at 1363 was implemented in the banking system in iran. one of the main goals of this law was eliminating usury from monetary system, and utilization from non-usury credit impact on economic growth through preferring money contribution in the capital. this paper uses data from years 1363 to 1386 and implementing herfindahl-hirschman index, evaluated and ranked concentra...

The MPEG-21 Media Contract Ontology (MCO), a part of the standard ISO/IEC 21000, is an ontology to represent contracts dealing with rights on multimedia assets and intellectual property protected content in general. A core model provides the elements to describe the permissions, obligations and prohibitions exchanged in the clauses of a contract. Specific vocabulary is defined in a model extens...

We study a two-sided market in which a platform mediates between sellers and buyers, and signs private contracts with sellers. We compare this market with (i) a one-sided market with public contracts, and (ii) a two-sided market with public contracts. We find that equilibrium royalties can be positive or negative in a one-sided market with public contracts, are negative in a twosided market wit...

documentary credit or letter of credit (lc) is one of the methods of payment in international commerce. the documentary credit is a binding commitment from the issuing bank to pay a sum of money to the beneficiary on certain conditions. the applicant needs to contract with an issuing bank to open a lc. the legal nature of such contract is a controversy issue and thus different opinions are brou...

Contracts were introduced by Helm et al. as a high level construct for explicitly specifying interactions among groups of objects. This paper describes further developments and application of the Contract construct. We show how Contracts can be used to represent classic algorithms as large grained reusable object oriented abstractions, how these algorithms can be customized through Contract ree...

This paper compares two separately developed systems for monitoring activities related to business contracts, describes how we integrated them and exploits the lessons learned from this process to identify a core set of requirements for a Business Contract Language (BCL). Concepts in BCL needed for contract monitoring include: the expression of coordinated concurrent actions; obliged, permitted...

We conducted an event-related, functional MRI investigation of 12 male's and 12 female's reasoning about conditional deontic rules, rules regulating people's behavior. We employed two different types of rules: social contracts and nonsocial, precautionary rules. Although the rules and the demands of the task were matched in terms of their logical structure, reasoning about social contracts and ...