10159 search results - page 1923 / 2032 » System Design Validation Using Formal Models |
MOBIHOC
2008
ACM
14 years 7 months ago
2008
ACM
In this paper we seek to improve our understanding of human mobility in terms of social structures, and to use these structures in the design of forwarding algorithms for Pocket S...
EWSN
2004
Springer
14 years 7 months ago
2004
Springer
Habitat monitoring is an important driving application for wireless sensor networks (WSNs). Although researchers anticipate some challenges arising in the real-world deployments of...
AMI
2009
Springer
14 years 2 months ago
2009
Springer
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...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, the dynamic model of a robot with antagonistic actuated joints is presented, and the problem of full linearization via static state feedback is analyzed. The use...
SASO
2007
IEEE
14 years 2 months ago
2007
IEEE
The study of synchronization has received much attention in a variety of applications, ranging from coordinating sensors in wireless networks to models of fireflies flashing in...