TY - CHAP TI - An arrival-based framework for human mobility modeling AV - none Y1 - 2012/// KW - Aggregates KW - Analytical models KW - Communities KW - Humans KW - Mathematical model KW - Mobile ad hoc networks KW - Stochastic processes UR - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6263683&isnumber=6263669 A1 - Karamshuk, Dmytro A1 - Boldrini, Chiara A1 - Conti, Marco A1 - Passarella, Andrea PB - IEEE SN - 978-1-4673-1237-0 SP - 1 N2 - Modeling human mobility is crucial in the performance analysis and simulation of mobile ad hoc networks, where contacts are exploited as opportunities for peer-to-peer message forwarding. The current approach to human mobility modeling has been based on continuously modifying models, trying to embed in them the newest features of mobility properties (e.g., visiting patterns to locations or inter-contact times) as they came up from trace analysis. As a consequence, typically these models are neither flexible (i.e., features of mobility cannot be changed without changing the model) nor controllable (i.e., the exact shape of mobility properties cannot be controlled directly). In order to take into account the above requirements, in this paper we propose a mobility framework whose goal is, starting from the stochastic process describing the arrival patterns of users to locations, to generate pairwise inter-contact times and aggregate inter-contact times featuring a predictable probability distribution. We validate the proposed framework by means of simulations. In addition, assuming that the arrival process of users to locations can be described by a Bernoulli process, we mathematically derive a closed form for the pairwise and aggregate inter-contact times, proving the controllability of the proposed approach in this case. N1 - San Francisco, California, USA, June 25-28, 2012 ID - eprints1557 T2 - Proceeding of the 13th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2012 EP - 9 ER -