In this study, we present a new framework of runtime enforcement of security policies. Building on previous studies, we examine the enforcement power of monitors capable of transforming their target’s execution. We bound this ability by a restriction stating that any transformation must preserve equivalence between the monitor’s input and output. We proceed by giving examples of meaningful equi...

Article history: Received 11 March 2008 Received in revised form 10 November 2008 Accepted 30 January 2010 Available online xxxx

In this study, the Input- Output Structural Decomposition Analysis (I-O SDA) is used to investigate the effects of technological structure changes on changes of total output in Sistan and Baluchestan Province during 2006-2011. The technological structure change is decomposed into two factors: intermediate input structure changes (input substitution) and change in direct backward linkage. The re...

in this paper, a reaction system consisting of two parallel, non-isothermal autocatalytic reactions in a continuous stirred tank reactor (cstr) has been considered. reactor chaotic behavior is possible for certain values of system parameters. two types of controllers are designed and compared in order to control both the reactor temperature and the product concentration. the first controller is...

because of the piecewise linear nature of the data envelopment analysis (dea) frontier, the optimal multipliers of the dea models may not be unique. choosing weights from alternative optimal solutions of dual multiplier models is one of the most frequently studied subjects in the context of dea. in this paper, the authors have been inspired by the idea of cooper et al. (2011) to propose a linea...

This study explored the effect of input vs. collaborative output tasks on Iranian EFL learners’ grammatical accuracy and their willingness to communicate (WTC). In so doing, the study utilized 3 input (i.e., textual enhancement, processing instruction, and discourse) and 3 collaborative output (i.e., dictogloss, reconstruction cloze task, and jigsaw) tasks and compared their effects on 5 Englis...

This study was designed to find which one of the three different presentations, i.e. input, input-output, and output-input, will be more effective in Iranian EFL learners' vocabulary acquisitions. To this end, first 54 out of 64 female students, aged from 19 to 23 years, with an average of 21, were selected out of starter-level EFL learners at the University of Tarbiat Moalem in Bandar Abbas, I...