554 search results - page 107 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
NETWORKING
2004
13 years 8 months ago
2004
Abstract. In computer networks (and, say, transportation networks), we can consider the situation where each user has its own routing decision so as to minimize noncooperatively th...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— In this paper, we study the problem of exact emulation of two types of optical queues: (i) N-to-1 output-buffered multiplexers with variable length bursts, and (ii) N Ã...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted signiï¬cant research attention in the last few years. A...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper we consider packet networks loaded by admissible trafï¬c patterns, i.e. by trafï¬c patterns that, if optimally routed, do not overload network resources. In the...
INFOCOM
2000
IEEE
13 years 12 months ago
2000
IEEE
Abstract—We study a network model in which each network link is associated with a set of delays and costs. These costs are a function of the delays and reflect the prices paid i...