Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract monitoring. Contract monitoring for lazy programming languages does not have a generally accepted basis. This paper discusses three approaches, eager, semi-eager, and lazy monitoring, all of which are flawed. The first two may chang...

The research has been performed to the aim of modeling the structural relationship between perfectionism and life expectancy through the mediating role of moral and spiritual intelligences in young Islamic Azad University directors (Mazandaran Province). This applied method of research in terms of objective is considered as a structural study as far as method of research is concerned. Statistic...

The underlying conflict resolution policy plays a vital role in the performance of most Transactional Memory (TM) systems and there is not a commonly accepted policy. Work carried out in this field contains a wide choice of conflict resolution ideas and authors tend to make their choices according to their workload characteristics. The conflict resolution policy is especially critical in eager-...

Two studies of romantic couples examined the circumstances under which complementary goal-pursuit strategies (specifically, the pairing of a relationship partner who prefers to pursue goals eagerly with a relationship partner who prefers to pursue goals vigilantly) lead to positive relationship outcomes. As hypothesized, couples who reported higher levels of goal congruence (Study 1) or greater...

Background Improving efficiency of health sector is of particular importance in all countries. To reach this end, it is paramount to measure the efficiency. On the other hand, there are many factors that affect the efficiency of health systems. This study aimed to measure the Technical Efficiency (TE) of health systems in Economic Cooperation Organization (ECO) countries during 2004–10 and to d...

English for Specific Academic Purposes (ESAP) uses the results of needs analysis for curriculum development and materials production. ESAP courses should be based on students’ academic needs. Consequently, the present study investigated the English language needs of Iranian undergraduate students of Law. Participants included 218 undergraduate students, 33 graduate students, and 10 content teac...

One method to evaluate a distributed shared memory(DSM) system is to analyze its performance for a variety of algorithms using a simulator. Eager DSM systems reduce latencies for remote data accesses by sending shared data changes immediately to all processors that may need it. Simulation results for two parallel application programs, Gaussian elimination and Fast Fourier Transform, are compare...