Sciweavers

2838 search results - page 181 / 568
» Verifying Controlled Components
Sort
View
ECUMN
2004
Springer
14 years 4 months ago
Expedited Forwarding Delay Budget Through a Novel Call Admission Control
Abstract. Call admission control is a principal component for QoS delivery in IP networks. It determines the extent to which network resources are utilized. It determines also whet...
Hamada Alshaer, Eric Horlait
ICICS
2003
Springer
14 years 4 months ago
A Policy Based Framework for Access Control
This paper presents a policy-based framework for managing access control in distributed heterogeneous systems. This framework is based on the PDP/PEP approach. The PDP (Policy Deci...
Ricardo Nabhen, Edgard Jamhour, Carlos Maziero
SIGGRAPH
2010
ACM
14 years 3 months ago
Terrain-adaptive bipedal locomotion control
We describe a framework for the automatic synthesis of biped locomotion controllers that adapt to uneven terrain at run-time. The framework consists of two components: a per-foots...
Jia-chi Wu, Zoran Popovic
INFOCOM
1999
IEEE
14 years 3 months ago
User-Friendly Access Control for Public Network Ports
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
Guido Appenzeller, Mema Roussopoulos, Mary Baker
HYBRID
1994
Springer
14 years 2 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli