2838 search results - page 122 / 568 » Verifying Controlled Components |
SACMAT
2010
ACM
13 years 8 months ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— A geometric optimization based approach to deploy a mobile sensor network for the purpose of detecting and capturing mobile targets in the plane is presented in [1]. Th...
KES
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This article proposes a new design method based on a simple heuristic technique to eliminate harmonic in power systems. It is called modified least compensation current c...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract: This paper considers the task of trajectory stabilization for a fish-like robot by means of feedback. We use oscillatory control inputs and apply correction signals at t...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— To solve systems of linear matrix equations A1XB1 = F1 and A2XB2 = F2, we present iterative algorithms to get the solutions. For any initial value, we prove that the iterative ...