257 search results - page 6 / 52 » connection 1999 |
CHARME
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
ICNP
1999
IEEE
15 years 1 months ago
1999
IEEE
A TCP trunk is an aggregate traffic stream whose data packets are transported at a rate dynamically determined by TCP
DBPL
1999
Springer
15 years 1 months ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
COMBINATORICS
1999
14 years 9 months ago
1999
Let k denote the maximum degree of the kth iterated line graph Lk(G). For any connected graph G that is not a path, the inequality k+1 2k - 2 holds. Niepel, Knor, and Solt
INFOCOM
1999
IEEE
15 years 1 months ago
1999
IEEE
Hosts providing important network services such as HTTP and FTP incur a per-connection memory load from TCP that can adversely affect their connection rate and throughput. The mem...