403 search results - page 37 / 81 » On the responsiveness of DNS-based network control |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
—This paper presents a mathematical framework for resource reservation in TCP/IP networks by invoking a dynamic system viewpoint on the congestion monitoring processes occurring ...
ECCB
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
Publication
In a multi-service network such as ATM, adaptive data services ( such as ABR) share the bandwidth left unused by higher priority services. The network indicates to the ABR sources ...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Crosstalk originating from optical switching devices and demultiplexers can be the dominant physical impairment in large all-optical networks. When a centralized network contro...