Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
This paper proposes a dynamic output feedback variable structure controller for linear MIMO systems with mismatched and matched normbounded uncertainties and matched nonlinear dis...
: In this paper, Fuzzy Logic controller is developed for ac/ac Matrix Converter. Furthermore, Total Harmonic Distortion is reduced significantly. Space Vector Algorithm is a method...
Abstract-- The problem of optimally controlling the processing rate of tasks in Discrete Event Systems (DES) with hard real-time constraints has been solved in [9] under the assump...