EVALUATION ELSEVIER Performance Evaluation 39 (2000) vii—viii www.elsevier.com/locate/peva Contents Editorial — Modelling techniques and tools for performance evaluation H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis and M. Siegle Compositional performance modelling with the TIPPtool S. Ramani, S.S. Gokhale and K.S. Trivedi SREPT: software reliability estimation and prediction tool M. Schuba, B.R. Haverkort and G. Schneider Performance evaluation of multicast communication in packet-switched networks J. Garcia, J. Entrialgo, F.J. Suarez and D.F. Garcia Model-driven monitoring support for the multi-view performance analysis of parallel embedded applications V. Sufé, J.L. Domingo and J.A. Carrasco Numerical iterative methods for Markovian dependability and performability models: new results and a comparison W.J. Knottenbelt, P.G. Harrison, M.A. Mestern and P.S. Kritzinger A probabilistic dynamic technique for the distributed generation of very large state spaces M. Arlitt, R. Friedrich and T. Jin Performance evaluation of Web proxy cache replacement policies R. German Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool H. Wang, K.C. Sevcik Experiments with improved approximate mean value analysis algorithms Vill Contents/Performance Evaluation 39 (2000) vii-viii N.N. Savino-Vazquez, J.L. Anciano-Martin, S. Dumas, J.A. Corbacho, R. Puigjaner D. Boudigue, G. Gardarin Predicting the behaviour of three-tiered applications: dealing with distributed-object technology and databases Calendar Author Index Volume 39 Subject Index to Volume 39 CO N T E NTS This journal is part of ContentsDirect, the free alerting service which sends tables of contents by e-mail for Elsevier Science books and journals. You can register for ContentsDirect online ] at: www.elsevier.ni/locate/contentsdirect