696 search results - page 49 / 140 » Mobility Models and Behavioural Equivalence for Wireless Net... |
ICDCSW
2000
IEEE
13 years 11 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
—Different types of power-saving techniques have been proposed in various fields to alleviate the limitation on the battery lifetime for the mobile stations (MSs). In order to p...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper introduces the security and trust concepts in wireless sensor networks and explains the difference between them, stating that even though both terms are used interchang...
Publication
WiMAX has attracted a lot of attention recently in the telecommunication community including researchers, product developers and service providers. Numerous papers have been publis...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
Motivated by the tradeoff between security and efficiency performance parameters that has been imposed on all modern wireless security protocols, we designed a novel security syst...