2838 search results - page 166 / 568 » Verifying Controlled Components |
RC
2002
13 years 10 months ago
2002
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
PERCOM
2004
ACM
14 years 10 months ago
2004
ACM
This paper introduces a context-aware authorization architecture that is designed to augment existing network security protocols in an Intranet environment. It describes the archi...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
This contribution describes the vision-based robotic control (VBRC) experiments executed on the Japanese research satellite ETS-VII. The VBRC experiments were designed to enhance ...
TELSYS
1998
13 years 10 months ago
1998
The Multimedia Internet Terminal (MINT)1 is a flexible multimedia tool set that allows the establishment and control of multimedia sessions across the Internet. The system archit...
SASO
2010
IEEE
13 years 8 months ago
2010
IEEE
Designing and organising large numbers of autonomic resources into a coherent system is a difficult endeavour. It necessitates handling complex interactions among dynamic, heteroge...