Sciweavers

2838 search results - page 179 / 568
» Verifying Controlled Components
Sort
View
INFOCOM
2009
IEEE
14 years 5 months ago
Distributed Non-Autonomous Power Control through Distributed Convex Optimization
— We consider the uplink power control problem where mobile users in different cells are communicating with their base stations. We formulate the power control problem as the min...
Sundhar Srinivasan Ram, Venugopal V. Veeravalli, A...
IROS
2006
IEEE
177views Robotics» more  IROS 2006»
14 years 4 months ago
Adaptive Control of Heterogeneous Marine Sensor Platforms in an Autonomous Sensor Network
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...
Donald P. Eickstedt, Michael R. Benjamin, Henrik S...
MOBIQUITOUS
2005
IEEE
14 years 4 months ago
Multi-path Admission Control for Mobile Ad hoc Networks
As wireless networks become more prevalent, users will demand the same applications that are currently available in wired networks. Further, they will expect to receive a quality ...
Anders Lindgren, Elizabeth M. Belding-Royer
DEXAW
2003
IEEE
137views Database» more  DEXAW 2003»
14 years 4 months ago
Applying the Semantic Web Layers to Access Control
The Semantic Web, also known as the Web of meaning, is considered the new generation of the Web. Its objective is to enable computers and people to work in cooperation. A requisit...
Mariemma Inmaculada Yagüe del Valle, Antonio ...
DATE
2004
IEEE
143views Hardware» more  DATE 2004»
14 years 2 months ago
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
Claudio Pinello, Luca P. Carloni, Alberto L. Sangi...