3238 search results - page 460 / 648 » Not Enough Points Is Enough |
162
click to vote
BELL
2000
15 years 5 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
141
click to vote
CCR
2000
15 years 5 months ago
2000
We propose a zero-knowledge interactive proof based identification and signature scheme. The protocol is based on Euler's totient function and discrete logarithms over the ri...
159
click to vote
CCR
2002
15 years 5 months ago
2002
We critically examine the claims that TCP congestion control contributes to the observed self-similar traffic rate correlations. A simulation model is designed to analyze aggregat...
187
click to vote
COMCOM
2002
15 years 5 months ago
2002
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In traditional short-term prefetching, caches use recent access history to ...
144
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
In this thesis I present a virtual laboratory which implements five different models for controlling animats: a rule-based system, a behaviour-based system, a concept-based system...