This paper studies the optimal placement of web ļ¬les for en-route web caching. It is shown that existing placement policies are all solving restricted partial problems of the ļ¬...
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
ā The inductive characteristics of several types of gridded power distribution networks are described in this paper. The inductance extraction program FastHenry is used to evalua...
Abstract. This paper describes a specialised logic for proving speciļ¬cations in the Java Modeling Language (JML). JML is an interface speciļ¬cation language for Java. It allows ...