2838 search results - page 181 / 568 » Verifying Controlled Components |
118
click to vote
ECUMN
2004
Springer
15 years 6 months ago
2004
Springer
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...
87
Voted
ICICS
2003
Springer
15 years 5 months ago
2003
Springer
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...
99
Voted
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
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...
97
Voted
INFOCOM
1999
IEEE
15 years 5 months ago
1999
IEEE
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...
100
Voted
HYBRID
1994
Springer
15 years 4 months ago
1994
Springer
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...