9110 search results - page 411 / 1822 » Formally-Based Design Evaluation |
144
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Families must continually organize, plan, and stay aware of the activities of their households in order to coordinate everyday life. Despite having organization schemes, many peop...
174
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we describe the design and implementation of a distributed operating system for ad hoc networks. Our system simplifies the programming of ad hoc networks and extend...
162
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Eco-feedback technology provides feedback on individual or group behaviors with a goal of reducing environmental impact. The history of eco-feedback extends back more than 40 year...
141
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Most of robotic soft pads studied so far were made with a thick layer of homogeneous material shaped around a rigid core; their behavior has been widely investigated in the lit...
183
Voted
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Different geographic routing protocols have different requirements on routing metric designs to ensure proper operation. Combining a wrong type of routing metric with a ...