We present a parametric groundness analysis whose input and output are parameterized by a set of groundness parameters. The result of the analysis can be instantiated for different uses of the program. It can also be used to derive sufficient conditions for safely removing groundness checks for built-in calls in the program. The parametric groundness analysis is obtained by generalizing a non-p...

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 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...

in this research, the total torque input and output shafts were subjected to are used to formulate twodifferential equations using applied dynamics and fluid mechanics. the equations show that the input andoutput torques are a function of the constant geometrical parameters of a torque converter, includinginternal and external diameters of vanes, angle and length of vanes, cross section area be...