3 search results - page 1 / 1 » EvAnT: Analysis and Checking of Event Traces for Wireless Se... |
SUTC
2008
IEEE
13 years 10 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...
ICDCS
2010
IEEE
13 years 8 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
NETWORKING
2011
12 years 7 months ago
2011
Abstract. Sensing mechanisms that estimate the occupancy of wireless spectrum are crucial to the success of approaches based on Dynamic Spectrum Access. In this paper, we present k...