Sciweavers

4865 search results - page 791 / 973
» The Complexity of Graph Connectivity
Sort
View
SEUS
2009
IEEE
16 years 1 months ago
HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization
HiperSense is a system for sensing and data visualization. Its sensing part is comprised of a heterogeneous wireless sensor network (WSN) as enabled by infrastructure support for h...
Pai H. Chou, Chong-Jing Chen, Stephen F. Jenks, Su...
SEUS
2009
IEEE
16 years 1 months ago
Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network inte...
Hyun-Wook Jin, Junbeom Yoo
ICRA
2009
IEEE
170views Robotics» more  ICRA 2009»
16 years 1 months ago
Path diversity is only part of the problem
— The goal of motion planning is to find a feasible path that connects two positions and is free from collision with obstacles. Path sets are a robust approach to this problem i...
Ross A. Knepper, Matthew T. Mason
AMI
2009
Springer
16 years 1 months ago
I Bet You Look Good on the Wall: Making the Invisible Computer Visible
The design ideal of the invisible computer, prevalent in the vision of ambient intelligence (AmI), has led to a number of interaction challenges. The complex nature of AmI environm...
Jo Vermeulen, Jonathan Slenders, Kris Luyten, Kari...
CONCUR
2009
Springer
16 years 1 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka