Sciweavers

7778 search results - page 241 / 1556
» Designing Controllers for Reachability
Sort
View
ICC
2007
IEEE
187views Communications» more  ICC 2007»
15 years 10 months ago
Scalable Video Transmission over the IEEE 802.11e Networks Using Cross-Layer Rate Control
— This paper presents a novel cross-layer rate control scheme for optimizing 3D wavelet scalable video transmission over the IEEE 802.11e wireless local area networks. The propos...
Chuan Heng Foh, Yu Zhang, Zefeng Ni, Jianfei Cai
ICFEM
2007
Springer
15 years 10 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
HYBRID
2001
Springer
15 years 8 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
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...
Thomas Moor, Jennifer M. Davoren
HYBRID
2009
Springer
15 years 8 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
CSREAPSC
2006
15 years 5 months ago
Multi-Agent Autonomic Architectures for Quality Control Systems
- Quality control is crucial to the success of any business and organization. Due to the ever-increasing complexity and mission-critical nature of quality control, development, dep...
Gilda Pour