ran's economy still has a two-digit inflation rate with high fluctuations, which is mainly caused by fiscal dominance. According to the relevant literature, the most important fiscal dominance mechanism is borrowing from the central bank. After prohibiting direct borrowing from the Central Bank by Iran's government, the budget deficits are partially addressed by off-budgeting operations, achiev...

Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several application domains, message-based communication is used as the interaction mechanism, and the communication contract among the components of the system is specified semantically as a state machine. In the service-oriente...

The Tax Equity and Fiscal Responsibility Act (TEFRA) of 1982 made it more attractive for health maintenance organizations (HMOs) and other competitive medical plans to enter into risk contracts with Medicare. Since the start of the TEFRA program in April 1985, more than 160 HMOs have had risk contracts with Medicare under the program. An investigation of factors associated with TEFRA risk-marke...

Background Mental, neurological, and substance (MNS) use disorders are a leading cause of disability worldwide; specifically in Peru, MNS affect 1 in 5 persons. However, the great majority of people suffering from these disorders do not access care, thereby making necessary the improvement of existing conditions including a major rearranging of current health system structures beyond care deliv...

The position of financial organization would be increasingly decisive in the next decade in view of the frightening competition. With the increasing number of businesses and growing competitions today, each organization wants to be the customer’s first choice and try to satisfy them for getting loyalty for their future endurance in the market.  However, it is open to ask whether the organizatio...

In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behavioural interfaces that can be used, for instance, to check whether a group of services can be safely combined avoiding, e.g., undesired deadlocks. In this paper we consider the problem of discovering available services th...

In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behavior of services. In other terms, contracts are behavioural interfaces that can be used, for instance, to check whether a group of services can be safely combined avoiding, e.g., undesired deadlocks. In this paper we consider the problem of discovering available services tha...