drawing up the insurance contracts by insurance companies has led to disregard policyholder's rights. this means that insurers by inserting unfair terms in insurance contracts seek to make a contract that they gain special privileges for themselves. jurists as main opponents of injustice regard commitment not to insert unfair terms as one of the insurer's pre-contractual obligations i...

We define a framework of probabilistic contracts for constructing componentbased embedded systems, based on the formalism of discrete-time Interactive Markov Chains. A contract specifies the assumptions a component makes on its context and the guarantees it provides. Probabilistic transitions represent allowed uncertainty in the component behavior, for instance, to model internal choice or reli...

For traditional agricultural product traceability system, there are some problems, such as information asymmetry and serious centralized storage. To solve the a set of an analysis system based on blockchain is designed. The overall framework built, model process designed in detail from data layer, consensus contract layer. Collaborative verification function modules added layer to ensure authen...

Creating proper contracts as interface specifications for software components is a key quality for the usability of the component in various contexts. A major goal of software engineering is to extend the expressiveness of these contracts and to enable component developers to use contracts for their own benefit with as little overhead as possible. One source for this overhead might be changes i...

The extant literature on after-sales service support suggests an implicit consensus around the (Pareto) superiority of performance-based contracts (PBC) over traditional time-and-material contracts. However, when product technology is new, a setting in which the vendor possesses superior information on product reliability, there is compelling evidence to suggest that buyers prefer the tradition...

The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhibits its provided or required interfaces, hence defining basic contracts between components allowing one to properly wire them. These contractually specified interfaces should go well beyond mere syntactic aspects: they should ...

BACKGROUND Previous studies have found that even limited prevention-related interventions can affect health behaviors such as substance use and risky sex. Substance abuse treatment providers are ideal candidates to provide these services, but typically have little or no financial incentive to do so. The purpose of this study was therefore to explore why some substance abuse treatment units have...

This article is an examination of what hard and soft contracts are, how they impact the psychotherapy process differently, especially unconscious type material each contract will tend to elicit. in turn has considerable effects on happens therapy room. The two types create a different ambience climate which can occur. explains approaches are be dealt with by therapist.

In the retail industry, customer value has become key to maintaining competitive advantages. era of new retail, is not only affected by product price, but it also closely related innovations, such as value-added services and unique business models. this paper, we study joint innovation investment pricing decisions in a retailer–supplier supply chain based on revenue sharing contracts value. We ...

Smart contracts are computer programs that are executed by a network of mutually distrusting agents, without the need of an external trusted authority. Smart contracts handle and transfer assets of considerable value (in the form of crypto-currency like Bitcoin). Hence, it is crucial that their implementation is bug-free. We identify the utility (or expected payoff) of interacting with such sma...