In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
We study the distribution dynamics of the demand for books in Italy. We find that for each of three broad sub-markets in which the book publishing industry can be classified - Ita...
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
This paper addresses communication problems in a distributed virtual reality system. The paper presents VOODIE, a system that provides a framework for distributed virtual environm...
The use of a cluster for distributed performance analysis of parallel trace data is discussed. We propose an analysis architecture that uses multiple cluster nodes as a server to ...