static verification and software testing are not able to verify software single-handedly. therefore, another approach called run-time verification dealing with verifying software behavior against constraints at run-time received attention. however, the run-time verification faces the problem of verification of run-time activities against the constraints are specified in high-level and abstractl...

regarding the decentralization of credits management, this study examined the effect of fiscal policies on gross domestic product of the iranian provinces over the period 2001-2009. therefore, we used dynamic panel data and employed gmm-sys method to examine the model. the results show that the government expenditure and tax multiplier coefficients are less than one in short - run but greater t...

according to amount of oil seeds import in iran are more than 80% of domestic needs, in this study, import comparative advantage in soybeans using rca and rsca index is calculated in 1961-2008 periods for iran and ten important importer countries. iran’s competition state is investigated. also long run relation between production and import comparative advantage index is estimated using johanse...

this paper investigates the impact of oil revenues on the output of economic sectors in some of oil exporting countries including iran, venezuela and mexico. we use cointegration analysis as well as short run and long run granger casualties' tests. the results show that in the long run, an oil boom leads to expansion of service sector, in these countries. also, the impacts of oil revenues ...

this study develops a long run optimal pattern for nomadic ranchers of fars province under climate uncertainty by simulating dynamic process of livestock and forage productivity as well as employing dynamic stochastic programming. results indicate that the nomadic representatives do not perform, optimally. despite their attachments to livestock as an asset, and their life dependency on livestoc...

energy carriers including electricity play a critical role in human societies development, and as the time passes, their importance in the human socio-economic life rises. therefore, knowing electricity demand and the factors affecting on it could have an effective role in economic decision-making. while dividing electricity demand into different consuming sectors, this study uses economic vari...

Self-signaling models predict less selfish behavior in a probabilistic giving setting as individuals are expected to invest pro-social identity. However, there is also substantial evidence that people tend exploit situational excuses for choices (for instance, uncertainty) and behave more selfishly. We contrast these two motivations (identity management self-deception) experimentally order test...