Sciweavers

146 search results - page 6 / 30
» Challenges in Making Pervasive Systems Dependable
Sort
View
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
13 years 7 months ago
Modeling and decision making in spatio-temporal processes for environmental surveillance
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
Amarjeet Singh 0003, Fabio Ramos, Hugh D. Whyte, W...
HVC
2007
Springer
153views Hardware» more  HVC 2007»
14 years 11 days ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul
PERVASIVE
2008
Springer
13 years 8 months ago
Providing an Integrated User Experience of Networked Media, Devices, and Services through End-User Composition
Networked devices for the storage and rendering of digital media are rapidly becoming ubiquitous in homes throughout the industrialized world. Existing approaches to home media con...
Mark W. Newman, Ame Elliott, Trevor F. Smith
ROBOCUP
2005
Springer
155views Robotics» more  ROBOCUP 2005»
14 years 2 months ago
An Application Interface for UCHILSIM and the Arrival of New Challenges
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
Juan Cristóbal Zagal, Iván Sarmiento...
CDC
2008
IEEE
136views Control Systems» more  CDC 2008»
14 years 3 months ago
Distributed hypothesis testing with a fusion center: The conditionally dependent case
Abstract— The paper deals with decentralized Bayesian detection with M hypotheses, and N sensors making conditionally correlated measurements regarding these hypotheses. Each sen...
Kien C. Nguyen, Tansu Alpcan, Tamer Basar