Sciweavers

3052 search results - page 24 / 611
» On the Verification of the Gravity Model Used for Mobility M...
Sort
View
MOBICOM
2004
ACM
14 years 29 days ago
Modeling mobility for vehicular ad-hoc networks
Without realistic modeling of node mobility, simulation evaluation of performance of mobile ad hoc networks may not correlate well with performance in a real deployment. In this p...
Amit Kumar Saha, David B. Johnson
CIIT
2007
168views Communications» more  CIIT 2007»
13 years 9 months ago
Link dynamic and mobility measure of a manet with the brownian mobility model
To characterize the behavior of a mobile ad-hoc network (MANET), the Brownian mobility model is studied, where the random coordinators of mobile nodes are modeled by the Brownian ...
Yawgeng A. Chau, Yao-Hua Chen
IJIT
2004
13 years 9 months ago
Mobile Robot Navigation Using Local Model Networks
Developing techniques for mobile robot navigation constitutes one of the major trends in the current research on mobile robotics. This paper develops a local model network (LMN) fo...
Hamdi A. Awad, Mohamed A. Al-Zorkany
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
13 years 11 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
VTC
2006
IEEE
121views Communications» more  VTC 2006»
14 years 1 months ago
Location-Dependent Parameterization of a Random Direction Mobility Model
— Mobility models are widely used in simulation-based performance analyses of mobile networks. However, there is a trade-off between simplicity and realistic movement patterns. S...
Bernd Gloss, Michael Scharf, Daniel Neubauer