332 search results - page 67 / 67 » A Direct Algorithm for Multi-valued Bounded Model Checking |
TON
2010
13 years 3 months ago
2010
—In this paper, we investigate the maximization of the coverage time for a clustered wireless sensor network (WSN) by optimal balancing of power consumption among cluster heads (...
MOBIHOC
2005
ACM
14 years 5 months ago
2005
ACM
We consider a wireless sensor network in which sensors are grouped into clusters, each with its own cluster head (CH). Each CH collects data from sensors in its cluster and relays...