2838 search results - page 179 / 568 » Verifying Controlled Components |
INFOCOM
2009
IEEE
14 years 5 months ago
2009
IEEE
— 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...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
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...
MOBIQUITOUS
2005
IEEE
14 years 4 months ago
2005
IEEE
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 ...
DEXAW
2003
IEEE
14 years 4 months ago
2003
IEEE
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...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
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...