?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F1588%2F&rft.title=SPoT%3A+Representing+the+Social%2C+Spatial%2C+and+Temporal%0D%0ADimensions+of+Human+Mobility+with+a+Unifying+Framework&rft.creator=Karamshuk%2C+Dmytro&rft.creator=Boldrini%2C+Chiara&rft.creator=Conti%2C+Marco&rft.creator=Passarella%2C+Andrea&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=Modeling+human+mobility+is+crucial+in+the+analysis+and+simulation+of+opportunistic+networks%2C+where+contacts+are+exploited+as+opportunities+for+peer-topeer+message+forwarding.+The+current+approach+with+human+mobility+modeling+has+been+based+on+continuously+modifying+models%2C+trying+to+embed+in+them+the+mobility+properties+(e.g.%2C+visiting+patterns+to+locations+or+specific+distributions+of+inter-contact+times)+as+they+came+up+from+trace+analysis.+As%0D%0Aa+consequence%2C+with+these+models+it+is+difficult%2C+if+not+impossible%2C+to+modify+the+features+of+mobility+or+to+control+the+exact+shape+of+mobility+metrics+(e.g.%2C+modifying+the+distribution+of+inter-contact+times).+For+these+reasons%2C+in+this+paper+we+propose+a+mobility+framework+rather+than+a+mobility+model%2C+with+the+explicit+goal+of+providing+a+exible+and+controllable+tool+for+modeling+mathematically+and+generating+simulatively+different+possible+features+of+human+mobility.+Our+framework%2C+named+SPoT%2C+is+able+to+incorporate+the+three+dimensions+-+spatial%2C+social%2C+and+temporal+-+of+human+mobility.+The+way+SPoT+does+it+is+by+mapping+the+different+social+communities+of+the+network+into+different+locations%2C+whose+members+visit+with+a+configurable+temporal+pattern.+In+order+to+characterize+the+temporal+patterns+of+user+visits+to+locations+and+the+relative+positioning+of+locations+based+on+their+shared+users%2C+we+analyze+the+traces+of+real+user+movements+extracted+from+three+location-based+online+social+networks+(Gowalla%2C+Foursquare%2C+and+Altergeo).+We+observe+that+a+Bernoulli+process+effectively+approximates+user+visits+to+locations+in+the+majority+of+cases+and+that+locations+that+share+many+common+users+visiting+them+frequently+tend+to+be+located+close+to+each+other.+In+addition%2C+we+use+these+traces+to+test+the+exibility+of+the+framework%2C+and+we+show+that+SPoT+is+able+to+accurately+reproduce+the+mobility+behavior+observed+in+traces.+Finally%2C+relying+on+the+Bernoulli+assumption+for+arrival+processes%2C+we+provide+a+throughout+mathematical+analysis+of+the+controllability+of+the+framework%2C+deriving+the+conditions+under+which+heavy-tailed+and+exponentially-tailed+aggregate+inter-contact+times+(often+observed+in+real+traces)+emerge.&rft.publisher=IMT+Institute+for+Advanced+Studies+Lucca&rft.date=2013-05&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1588%2F1%2FCSA_TR_2013_7.pdf&rft.identifier=++Karamshuk%2C+Dmytro+and+Boldrini%2C+Chiara+and+Conti%2C+Marco+and+Passarella%2C+Andrea++SPoT%3A+Representing+the+Social%2C+Spatial%2C+and+Temporal+Dimensions+of+Human+Mobility+with+a+Unifying+Framework.++CSA+Technical+Report++%237%2F2013++++IMT+Institute+for+Advanced+Studies+Lucca+++++++++