1362 search results - page 163 / 273 » Model Checking Large Network Protocol Implementations |
160
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Interference alignment is a transmission technique for exploiting all available degrees of freedom in the symmetric frequency- or time-selective interference channel with an arbit...
126
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Colluding malicious insider nodes with no special hardware capability can use packet encapsulation and tunnelling to create bogus short-cuts (in-band wormholes) in routing path...
159
click to vote
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
—Wireless ad hoc networks are seldom characterized by one single performance metric, yet the current literature lacks a flexible framework to assist in characterizing the design...
134
click to vote
AINA
2009
IEEE
15 years 8 months ago
2009
IEEE
Nowadays more and more devices of daily life are connected to each other and are integrated into massively distributed networks of embedded devices. These devices range from consu...
120
click to vote
CCS
2001
ACM
15 years 7 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...