Sciweavers

8658 search results - page 242 / 1732
» Models of Command and Control
Sort
View
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
15 years 1 months ago
A state-based framework for supervisory control synthesis and verification
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theu...
CCS
2007
ACM
16 years 22 days ago
Administration in role-based access control
Administration of large-scale RBAC systems is a challenging open problem. We propose a principled approach in designing and analyzing administrative models for RBAC. We identify s...
Ninghui Li, Ziqing Mao
ICC
2008
IEEE
16 years 1 months ago
Multilink Performance of the Load-Level-Based Admission Control Mechanism for OBS Networks
— In this paper, we analyze the performance of the Load-Level-Based Admission Control mechanism (LLAC) for optical burst-switched networks in a multilink scenario. The goal of th...
Igor M. Moraes, Otto Carlos M. Duarte
AICOM
2005
91views more  AICOM 2005»
15 years 6 months ago
Multiagent systems for cardiac pacing simulation and control
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
Francesco Amigoni, Alessandro Beda, Nicola Gatti
CCGRID
2008
IEEE
16 years 1 months ago
Admission Control in a Computational Market
We propose, implement and evaluate three admission models for computational Grids. The models take the expected demand into account and offer a specific performance guarantee. Th...
Thomas Sandholm, Kevin Lai, Scott H. Clearwater