104 search results - page 21 / 21 » Dependable and Secure Distributed Storage System for Ad Hoc ... |
SENSYS
2006
ACM
14 years 7 days ago
2006
ACM
Sensor networks are fundamentally constrained by the difficulty and energy expense of delivering information from sensors to sink. Our work has focused on garnering additional si...
INFOCOM
2000
IEEE
13 years 10 months ago
2000
IEEE
— An ad-hoc network of wireless static nodes is considered as it arises in a rapidly deployed, sensor based, monitoring system. Information is generated in certain nodes and need...
IPPS
2005
IEEE
13 years 12 months ago
2005
IEEE
Enabling high performance, persistent mobile computing has recently become a very active research area. The widespread popularity of mobile computing devices, such as laptops, han...
DSN
2002
IEEE
13 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...