1392 search results - page 73 / 279 » A Calculus for Dynamic Linking |
CONEXT
2008
ACM
13 years 10 months ago
2008
ACM
Running multiple virtual networks, customized for different performance objectives, is a promising way to support diverse applications over a shared substrate. Despite being simpl...
TON
2010
13 years 3 months ago
2010
This paper develops a new model that describes the queueing process of a communication network when data sources use window flow control. The model takes into account the burstines...
FMICS
2009
Springer
14 years 3 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
SIGCOMM
1994
ACM
14 years 1 months ago
1994
ACM
An ad-hoc network is the cooperative engagement of a collection of Mobile Hosts without the required intervention of any centralized Access Point. In this paper we present an inno...
FITRAMEN
2008
13 years 10 months ago
2008
The current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in more var...