1362 search results - page 36 / 273 » Model Checking Large Network Protocol Implementations |
132
click to vote
NDSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
138
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
109
click to vote
ADHOC
2006
15 years 2 months ago
2006
Routing in ad-hoc networks is a complicated task because of many reasons. The nodes are low-memory, lowpowered, and they cannot maintain routing tables large enough for well-known ...
113
click to vote
JNW
2008
15 years 1 months ago
2008
We studied the possibility of using wireless sensor networks for vehicle identification in a large open field. This is exciting research in that it not only presents a challenge bu...
107
click to vote
SECON
2008
IEEE
15 years 8 months ago
2008
IEEE
—Wireless reprogramming is a key functionality in Wireless Sensor Networks (WSNs). In fact, the requirements for the network may change in time, or new parameters might have to b...