Sciweavers

15840 search results - page 285 / 3168
» The Control of Synchronous Systems
Sort
View
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 8 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
RTSS
2002
IEEE
15 years 11 months ago
Queueing Model Based Network Server Performance Control
Controlling the timing performance of a network server is a challenging problem. This paper presents a Queueing Model Based Feedback Control approach to keep the timing performanc...
Lui Sha, Xue Liu
ISORC
2008
IEEE
16 years 29 days ago
MRBAC: Hierarchical Role Management and Security Access Control for Distributed Multimedia Systems
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
Na Zhao, Min Chen, Shu-Ching Chen, Mei-Ling Shyu
HYBRID
1997
Springer
15 years 10 months ago
Controller Scheduling Using Neural Networks: Implementation and Experimental Results
This paper presents the results of simulation and control experiments using a recently proposed method for real-time switching among a pool of controllers. The switching strategy ...
Enrique D. Ferreira, Bruce H. Krogh
CDC
2009
IEEE
141views Control Systems» more  CDC 2009»
15 years 7 months ago
Decentralized receding horizon control for multiple unmanned helicopters considering dynamics model
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...
Yuqing He, Jianda Han