3052 search results - page 80 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
COMCOM
2000
13 years 7 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
—In performance studies of vehicular ad hoc networks (VANETs), the underlying mobility model plays an important role. Since conventional mobile ad hoc network (MANET) routing pro...
IJAHUC
2010
13 years 6 months ago
2010
: Mobility modelling is an essential component of wireless and mobile networking research. Our proposed Agenda Driven Mobility Model takes into consideration a person’s social ac...
MOBICOM
2003
ACM
14 years 29 days ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...