This paper addresses two unresolved issues about web caching. The first issue is whether web requests from a fixed user community are distributed according to Zipf's law [22]. Several early studies have supported this claim [9], [5], while other recent studies have suggested otherwise [16], [2

: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions

by many active connections with a wide range of round-trip times, tolerances of delay, throughput requirements, etc. Decisions about the duration and magnitude of transient congestion to be allowed at the gateway are best made by the gateway itself. The method of monitoring the average queue size

. Isabelle is now based on higher-order logic --- a precise and well-understood foundation. Examples illustrate use of this meta-logic to formalize logics and proofs. Axioms for first-order logic are shown sound and complete. Backwards proof is formalized by meta-reasoning about object-level entailment

configurations require the use of 1obal hypotheses? 19 In this essay I describe a working collection of computer programs which reconstruct three-dimensional descriptions from line drawings which are obtained from scenes composed of plane-faced objects under various lighting conditions. The system identifies

of captured phishing attacks and developed a set of hypotheses about why these strategies might work. We then assessed these hypotheses with a usability study in which 22 participants were shown 20 web sites and asked to determine which ones were fraudulent. We found that 23 % of the participants did not look

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about

server in a large environment by using traces that were collected at the Internet connection points for two large corporations, representing significant numbers of references. Only 22% of the resources referenced in the traces we analyzed were accessed more than once, but about half of the references

of the warmer air heated by BC from South and East Asia over the Himalayas contributes to a warming of about 0.6 °C (annual mean) in the lower and mid troposphere (see http://www.nature.com/ngeo/journal/v1/n4/full/ngeo156.html 3 of 10 9/22/2009 9:43 AM The values are annual mean temperature changes over

events are not detected by SAMOS, but users/applications have to notify the system about their occurrence by issuing an explicit raise operation. 2.2 Composite events The kinds of primitive events described above correspond to elementary occurrences and are not adequate for handling events