1362 search results - page 158 / 273 » Model Checking Large Network Protocol Implementations |
128
click to vote
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
Finding patterns in large, real, spatio/temporal data continues to attract high interest (e.g., sales of products over space and time, patterns in mobile phone users; sensor netwo...
125
click to vote
ICN
2009
Springer
15 years 1 months ago
2009
Springer
Impulse Radio Ultra Wide Band (IR-UWB) is a promising technology to address Wireless Sensor Network (WSN) constraints. However, existing network simulation tools do not provide a ...
124
click to vote
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
158
Voted
AICT
2007
IEEE
15 years 9 months ago
2007
IEEE
Various researchers have reported that traffic measurements demonstrate considerable burstiness on several time scales, with properties of self-similarity. Also, the rapid developm...
171
click to vote
PE
2006
Springer
15 years 3 months ago
2006
Springer
Existing wireless networks usually provide multiple data transmission rates. This paper presents a simulation study on the performance of multiple-rate mobile ad hoc networks (MAN...