1362 search results - page 199 / 273 » Model Checking Large Network Protocol Implementations |
120
click to vote
MOBIHOC
2005
ACM
16 years 2 months ago
2005
ACM
Wireless Sensor and Actor Networks (WSANs) are composed of a large number of heterogeneous nodes called sensors and actors. The collaborative operation of sensors enables the dist...
164
click to vote
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—The distributed nature of the CSMA/CA based wireless protocols, e.g., the IEEE 802.11 distributed coordinated function (DCF), allows malicious nodes to deliberately manipulate t...
139
click to vote
BROADNETS
2006
IEEE
15 years 9 months ago
2006
IEEE
— With the advent of service sensitive applications such as remote controlled experiments, time constrained massive data transfers, and video-conferencing, it has become apparent...
134
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...
146
click to vote
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
A Wireless Sensor Network (WSN) for Structural Health Monitoring (SHM) is designed, implemented, deployed and tested on the 4200ft long main span and the south tower of the Golden...