17449 search results - page 289 / 3490 » Availability |
134
click to vote
EATCS
2002
15 years 6 months ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
151
click to vote
JNSM
2000
15 years 6 months ago
2000
Abstract-A mechanism for the estimation of the available bandwidth between two end-points of a best-effort network is presented. The estimation is obtained by a simple statistical ...
176
click to vote
MOC
2000
15 years 6 months ago
2000
We introduce a new method of obtaining guaranteed enclosures of the eigenvalues of a variety of self-adjoint differential and difference operators with discrete spectrum. The metho...
164
click to vote
NAR
2000
15 years 6 months ago
2000
The ENZYME database is a repository of information related to the nomenclature of enzymes. In recent years it has became an indispensable resource for the development of metabolic...
158
click to vote
CN
1998
15 years 6 months ago
1998
This paper describes the architecture of Network Appliance’s NetCache proxy cache. It discusses sizing proxy caches, contrasts the advantages and disadvantages of transparent ca...