296 search results - page 38 / 60 » CaVi -- Simulation and Model Checking for Wireless Sensor Ne... |
ENTCS
2007
13 years 7 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
Wireless sensor networks (WSNs) have recently attracted a lot of interest due to the range of applications they enable. Unfortunately, WSNs are exposed to numerous security threat...
ICCCN
2007
IEEE
14 years 1 months ago
2007
IEEE
—Channel-specific path data for a 44-node 2.4 GHz wireless sensor network deployed in an industrial setting is presented. Each node generates one data packet every 28 seconds wit...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—The paper presents a novel integrated MAC/routing scheme for wireless sensor networking. Our design objective is to elect the next hop for data forwarding by minimizing the numb...
ISPA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we investigate the fault tolerance of connectivity probability for CDMA-based wireless sensor networks with variations of nodes deployment. The variations ...