4098 search results - page 93 / 820 » Sound mobility models |
120
Voted
BSL
1999
15 years 3 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
131
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—We analyze how node mobility can influence the convergence time of averaging gossip algorithms on networks. Our main result is that even a small number of fully mobile nodes ca...
140
Voted
PEWASUN
2005
ACM
15 years 9 months ago
2005
ACM
Scalability issues for routing in mobile ad hoc networks (MANETs) have been typically addressed using hybrid routing schemes operating in a hierarchical network architecture. Seve...
157
Voted
AIWORC
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract—In next-generation enterprises it will become increasingly important to retrieve information efficiently and rapidly from widely dispersed sites in a virtual enterprise...
160
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...