288 search results - page 47 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
105
click to vote
TMC
2011
14 years 4 months ago
2011
Abstract—Recently, many efforts have been made to develop more efficient Inter-Vehicle Communication (IVC) protocols for ondemand route planning according to observed traffic con...
94
Voted
SAINT
2003
IEEE
15 years 2 months ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
102
Voted
MIDDLEWARE
2005
Springer
15 years 3 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
— Recently, trust establishment is recognized as an important approach to defend distributed networks, such as mobile ad hoc networks and sensor networks, against malicious attac...
80
Voted
INFOCOM
2003
IEEE
15 years 2 months ago
2003
IEEE
— A Mobile Ad hoc Network (MANET) is a collection of wireless mobile nodes forming a temporary network without using any existing infrastructure. Since not many MANETs are curren...