766 search results - page 50 / 154 » Neighbor discovery analysis in wireless sensor networks |
123
click to vote
FMOODS
2007
15 years 1 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...
107
click to vote
IPPS
2006
IEEE
15 years 5 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...
ISPAN
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper presents a novel framework for intelligent temperature control in smart homes using Wireless Sensor Networks (WSN) and geostatistical analysis for total spatial awar...
135
click to vote
PERCOM
2008
ACM
15 years 11 months ago
2008
ACM
Wireless sensor networks are commonly used to monitor and control the physical world. To provide a meaningful service such as disaster and emergency surveillance, meeting real-tim...
SUTC
2008
IEEE
15 years 6 months ago
2008
IEEE
Testing and verification methodologies for Wireless Sensor Networks (WSN) systems in pre-deployment are vital for a successful deployment. Increased visibility of the internal st...