1 Context and challenges Model checking is a technique used to verify that a certain system's design satisfies its requirements. Given some models of the design and system's requirements formulated as formal properties, the system model can be checked [1], and if properties are violated, the model checker provides the user with counter examples that represent execution sequences (traces) leadin...

the purpose of this study is to evaluate the impact of import of technology on iranian economy. we have used multi-sectoral and multi–regional computable general equilibrium gtap model. transfer of technology from one region to another is another factor effecting productivity. trade is one of the channels that speeds the transfer of technology. the effect of a ten percent productivity shock, in...

The success recently encountered by physically-based modeling (or model-based approaches) for music should not mask the deep challenges that remain in this area. This article first proposes an overview of the various goals that researchers and musicians, respectively operating from scientific and end-user perspectives, may pursue. Among these goals, those recently proposed or particularly criti...

in recent years a variety of system models for providing community based health care services for the elderly has been envisioned and implemented in the developed countries which meet the special care needs of different groups of elders. in iran as a developing country, a considerable percentage of old people live in the society need to receive specialized care and health services. in order to ...

this paper studies a maintenance policy for a system composed of two components, which are subject to continuous deterioration and consequently stochastic failure. the failure of each component results in the failure of the system. the components are inspected periodically and their deterioration degrees are monitored. the components can be maintained using different maintenance actions (repair...

the older population in the world especially in iran is growing. according to census the number of individuals aged is approaching5/07 million in 2006 the nation is bracing for the aging of baby boom generation in 20 next year, which will swell the 65 and older population to10 million by 2020 and 26 million by 2050. (iran census, 2006) this population trends ported increased demand for health c...

background: self-medication by people is one of the major issues in the world that can be lead to numerous medical and economic problems, this especially issue in children under 2 years who are at the age of growth and development have great importance. the aim of this study was investigate the effects of model-based educational interventions on self-medication behavior in mothers with children...

This article presents the first attempt to construct a computational model of common ground. Four corpus-based metrics are presented that estimate what facts are likely to be in common ground. The proposed metrics were evaluated in an experiment with human participants, focussing on a domain of famous people. The results are encouraging: two of the proposed metrics achieved a large positive cor...

Providing seamless, fluid interaction between team members, contractors, consultants from any world-wide location stimulates virtual organisations. The agent-based team work environment UNITE offers team members intuitive and ubiquitous access to each other, and to information and resources of their project, secure and transparent to their physical workplaces and their own tools. Thus, team foc...

We suggest that, as an extension to traditional historical analysis, it is potentially insightful and useful to model guerrilla wars in agent-based terms. Accordingly, the Iruba agent-based model of a guerrilla war has been designed and implemented. Some experimental results obtained with the model and conclusions that may be drawn from them are reported, particularly in relation to Guevara and...