Sciweavers

3458 search results - page 34 / 692
» Abstracting Control
Sort
View
EDBT
2008
ACM
236views Database» more  EDBT 2008»
14 years 8 months ago
Virtualization and databases: state of the art and research challenges
ng the abstract view of computing resources from the implementation of these resources of indirection between abstract view and implementation of resources - Hides implementation d...
Ashraf Aboulnaga, Cristiana Amza, Kenneth Salem
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
13 years 12 months ago
Finite-time tracking controller design for a general class of nonholonomic systems
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
Yuqiang Wu, Ruiying Yuan, Xiuyun Zheng
IWFM
2000
167views Formal Methods» more  IWFM 2000»
13 years 10 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
DBSEC
2010
113views Database» more  DBSEC 2010»
13 years 8 months ago
A Logic of Privacy
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
Steve Barker, Valerio Genovese
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
13 years 6 months ago
Output-feedback control of feedforward nonlinear delayed systems through dynamic high-gain scaling
Abstract-- The output-feedback control problem for nonlinear systems with state and input delays is addressed. Both state and input delays are allowed to be time-varying and uncert...
Prashanth Krishnamurthy, Farshad Khorrami