Sciweavers

6518 search results - page 1001 / 1304
» Distributed Individual-Based Simulation
Sort
View
IWNAS
2006
IEEE
16 years 22 days ago
Mobility Control with Local Views of Neighborhood in Mobile Networks
Recent work in mobile ad hoc networks, simply MANETs, has drawn attention to the mobility capability of each node. In [5], it is proved that the optimal positions of the relay nod...
Zhen Jiang, Jie Wu, Robert Kline
MEMOCODE
2006
IEEE
16 years 22 days ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
NDSS
2006
IEEE
16 years 22 days ago
Induced Churn as Shelter from Routing-Table Poisoning
Structured overlays are an important and powerful class of overlay networks that has emerged in recent years. They are typically targeted at peer-to-peer deployments involving mil...
Tyson Condie, Varun Kacholia, Sriram Sank, Joseph ...
NOMS
2006
IEEE
16 years 22 days ago
Self-Adaptive SLA-Driven Capacity Management for Internet Services
— This work considers the problem of hosting multiple third-party Internet services in a cost-effective manner so as to maximize a provider’s business objective. For this purpo...
Bruno D. Abrahao, Virgilio Almeida, Jussara M. Alm...
PERCOM
2006
ACM
16 years 22 days ago
DHT-based Unicast for Mobile Ad Hoc Networks
As mobile ad hoc networks (MANETs) become ever more popular, it also becomes more and more interesting to build distributed network applications (e.g. data storage, etc.) that hav...
Thomas Zahn, Jochen H. Schiller
« Prev « First page 1001 / 1304 Last » Next »