Sciweavers

6514 search results - page 316 / 1303
» Low-Knowledge Algorithm Control
Sort
View
DBSEC
2006
160views Database» more  DBSEC 2006»
15 years 4 months ago
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation
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...
Joachim Biskup, Lena Wiese
ATVA
2010
Springer
163views Hardware» more  ATVA 2010»
15 years 3 months ago
Automatic Generation of History-Based Access Control from Information Flow Specification
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...
Yoshiaki Takata, Hiroyuki Seki
AUTOMATICA
2007
111views more  AUTOMATICA 2007»
15 years 3 months ago
Output feedback variable structure control for linear systems with uncertainties and disturbances
This paper proposes a dynamic output feedback variable structure controller for linear MIMO systems with mismatched and matched normbounded uncertainties and matched nonlinear dis...
PooGyeon Park, Doo Jin Choi, Seong G. Kong
110
Voted
CORR
2010
Springer
105views Education» more  CORR 2010»
15 years 3 months ago
Fuzzy Controller for Matrix Converter System to Improve its Quality of Output
: 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...
Nagalingam Mahendran, G. Gurusamy
DEDS
2010
88views more  DEDS 2010»
15 years 3 months ago
Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
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...
Jianfeng Mao, Christos G. Cassandras