Sciweavers

7778 search results - page 212 / 1556
» Designing Controllers for Reachability
Sort
View
INFOCOM
1996
IEEE
15 years 8 months ago
Integrated Control of Connection Admission, Flow Rate, and Bandwidth for ATM Based Networks
: We consider the combined control problem of connection admission, flow rate, and bandwidth allocation (capacity, service-rate) under nonstationary conditions. A fluid flow model ...
Andreas Pitsillides, Petros A. Ioannou, David Tipp...
148
Voted
B
2007
Springer
15 years 10 months ago
Augmenting B with Control Annotations
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
Wilson Ifill, Steve A. Schneider, Helen Treharne
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
15 years 10 months ago
A Whole-body Control Framework for Humanoids Operating in Human Environments
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
Luis Sentis, Oussama Khatib
COMPSAC
2007
IEEE
15 years 8 months ago
Conformance Checking of Access Control Policies Specified in XACML
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie
CHI
1994
ACM
15 years 8 months ago
Issues and experience in designing two-handed interaction
Considering that direct manipulation interfaces using a pointing device could be more efficient with the addition of a second pointing device, we are designing and implementing tw...
Stéphane Chatty