2940 search results - page 116 / 588 » Relational Parametricity and Control |
127
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
We investigate the cost of changing access control policies dynamically as a response action in computer network defense. We compare and contrast the use of access lists and capab...
122
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— The paper studies the coordinated path following problem, namely, steering a group of unicycles to a given path while achieving an inter-vehicle formation pattern. A novel hybr...
122
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Fundamental performance limitations on congestion control is discussed in relation to the information that is available in the controller. Three control architectures t...
142
click to vote
HYBRID
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
150
click to vote
RTSS
1990
IEEE
15 years 8 months ago
1990
IEEE
Time-critical scheduling in real-time database systems has two components: real-time transaction scheduling,which is related to task scheduling in realtime operating systems, and ...