3528 search results - page 5 / 706 » Wireless sensor networks and beyond |
FMOODS
2007
13 years 9 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
BROADNETS
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a fast local clustering service, FLOC, that partitions a multi-hop wireless network into nonoverlapping and approximately equal-sized clusters. Each cluster has a clust...
WWIC
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we discuss the lifetime of an battery powered device which acts as a gateway between a wireless sensor network and a standard network. The wireless communication stan...
PERCOM
2003
ACM
14 years 7 months ago
2003
ACM
