ISBN: 0-7695-2052-9

Leslie Lamport, Microsoft Corp, Mountain View, CA, USA

Miguel Castro, Microsoft Research, UK

Manuel Costa, Microsoft Research, UK

Antony Rowstron, Microsoft Research, UK

Alberto Montresor, University of Bologna, Italy

M?rk Jelasity, University of Bologna, Italy

Ozalp Babaoglu, University of Bologna, Italy

Junghee Han, University of Michigan, Ann Arbor

Farnam Jahanian, University of Michigan, Ann Arbor

Christopher LaFrieda, Cornell University, Ithaca, NY

Rajit Manohar, Cornell University, Ithaca, NY

Fred A. Bower, Duke University

Paul G. Shealy, Duke University

Sule Ozev, Duke University

Daniel J. Sorin, Duke University

Nicholas J. Wang, University of Illinois at Urbana-Champaign

Justin Quek, University of Illinois at Urbana-Champaign

Todd M. Rafacz, University of Illinois at Urbana-Champaign

Sanjay J. patel, University of Illinois at Urbana-Champaign

Cynthia Wong, Carnegie Mellon University

Chenxi Wang, Carnegie Mellon University

Dawn Song, Carnegie Mellon University

Stan Bielski, Carnegie Mellon University

Gregory R. Ganger, Carnegie Mellon University

Hao Yang, University of California, Los Angeles

Haiyun Luo, University of California, Los Angeles

Yi Yang, University of California, Los Angeles

Songwu Lu, University of California, Los Angeles

Lixia Zhang, University of California, Los Angeles

Mark Karpovsky, Boston University, MA

Konrad J. Kulikowski, Boston University, MA

Alexander Taubin, Boston University, MA

Kevin S. Killourhy, Carnegie Mellon University, Pittsburgh, Pennsylvania

Roy A. Maxion, Carnegie Mellon University, Pittsburgh, Pennsylvania

Kymie M. C. Tan, Carnegie Mellon University, Pittsburgh, Pennsylvania

James S. Plank, University of Tennessee

Michael G. Thomason, University of Tennessee

Svend Fr?lund, HP Labs, Palo Alto, CA

Arif Merchant, HP Labs, Palo Alto, CA

Yasushi Saito, HP Labs, Palo Alto, CA

Susan Spence, HP Labs, Palo Alto, CA

Alistair Veitch, HP Labs, Palo Alto, CA

Garth R. Goodson, Carnegie Mellon University

Jay J. Wylie, Carnegie Mellon University

Gregory R. Ganger, Carnegie Mellon University

Michael K. Reiter, Carnegie Mellon University

Philip Koopman, Carnegie Mellon University, Pittsburgh, PA

Tridib Chakravarty, Carnegie Mellon University, Pittsburgh, PA

P. Oscar Boykin, UCLA, Los Angeles, CA

Vwani P. Roychowdhury, UCLA, Los Angeles, CA

Tal Mor, Technion, Israel

Farrokh Vatan, California Institute of Technology, Pasadena, CA

A. J. KleinOsowski, University of Minnesota, Minneapolis

Kevin KleinOsowski, University of Minnesota, Minneapolis

Vijay Rangarajan, University of Minnesota, Minneapolis

Priyadarshini Ranganath, University of Minnesota, Minneapolis

David J. Lilja, University of Minnesota, Minneapolis

Jayanth Srinivasan, University of Illinois, Urbana-Champaign

Sarita V. Adve, University of Illinois, Urbana-Champaign

Pradip Bose, IBM T.J. Watson Research Center, Yorktown Heights, NY

Jude A. Rivers, IBM T.J. Watson Research Center, Yorktown Heights, NY

Wilfried Steiner, Technische Universit?t Wien, Austria

John Rushby, SRI International, USA

Maria Sorea, Universit?t Ulm, Germany

Holger Pfeifer, Universit?t Ulm, Germany

Yao-Wen Huang, National Taiwan University, Taipei; Academia Sinica, Taipei, Taiwan

Fang Yu, Academia Sinica, Taipei, Taiwan

Christian Hang, RWTH Aachen, Germany

Chung-Hung Tsai, National Taiwan University, Taipei

D. T. Lee, National Taiwan University, Taipei; Academia Sinica, Taipei, Taiwan

Sy-Yen Kuo, National Taiwan University, Taipei

Sandeep S. Kulkarni, Michigan State University, East Lansing

Ali Ebnenasir, Michigan State University, East Lansing

Gal Badishi, Technion

Idit Keidar, Technion

Amir Sasson, Technion

S?bastien Baehni, Distributed Programming Laboratory, EPFL

Patrick Th. Eugster, Distributed Programming Laboratory, EPFL

Rachid Guerraoui, Distributed Programming Laboratory, EPFL

Taisuke Izumi, Osaka University, Japan

Akinori Saitoh, Osaka University, Japan

Toshimitsu Masuzawa, Osaka University, Japan

Carolos Livadas, BBN Technologies

Idit Keidar, Dept. of Electrical Engineering, Technion

Peter Popov, Centre for Software Reliability, City University, London

Bev Littlewood, Centre for Software Reliability, City University, London

Elizabeth Latronico, Carnegie Mellon University, Pittsburgh, PA

Paul Miner, NASA Langley Research Center, Hampton, VA

Philip Koopman, Carnegie Mellon University, Pittsburgh, PA

Jo?o Dur?es, ISEC/CISUC - Polytechnic Institute of Coimbra, Portugal

Henrique Madeira, DEI/CISUC - University of Coimbra, Portugal

Charles P. Shelton, Robert Bosch Corporation, Pittsburgh, PA

Philip Koopman, Carnegie Mellon University, Pittsburgh, PA

Leslie Lamport, Microsoft

Mike Massa, Microsoft

Kishori M. Konwar, University of Connecticut, Storrs

Dariusz R. Kowalski, Max-Planck-Institut f?r Informatik, Germany; Uniwersytet Warszawski, Poland

Alexander A. Shvartsman, University of Connecticut, Storrs; MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA

Jean-Philippe Martin, The University of Texas at Austin

Lorenzo Alvisi, The University of Texas at Austin

Yansong (Jennifer) Ren, Bell Laboratories, Lucent Technologies

Rick Buskens, Bell Laboratories, Lucent Technologies

Oscar Gonzalez, Bell Laboratories, Lucent Technologies

Ismail Assayad, Verimag, France

Alain Girault, INRIA, France

Hamoudi Kalla, INRIA, France

Soila Pertet, Carnegie Mellon University, Pittsburgh, PA

Priya Narasimhan, Carnegie Mellon University, Pittsburgh, PA

Elisabeth A. Strunk, University of Virginia, Charlottesville

John C. Knight, University of Virginia, Charlottesville

Jennifer Morris, Carnegie Mellon University

Daniel Kroening, Carnegie Mellon University

Philip Koopman, Carnegie Mellon University

Ilir Gashi, City University, London

Peter Popov, City University, London

Lorenzo Strigini, City University, London

Lan Guo, West Virginia University, Morgantown, WV

Supratik Mukhopadhyay, West Virginia University, Morgantown, WV

Bojan Cukic, West Virginia University, Morgantown, WV

Aaron B. Brown, University of California, Berkeley

Leonard Chung, University of California, Berkeley

William Kakes, University of California, Berkeley

Calvin Ling, University of California, Berkeley

David A. Patterson, University of California, Berkeley

G. (John) Janakiraman, Hewlett-Packard Laboratories

Jose Renato Santos, Hewlett-Packard Laboratories

Yoshio Turner, Hewlett-Packard Laboratories

Christian Cachin, IBM Research, Switzerland

Asad Samar, Carnegie Mellon University, Pittsburgh, PA

Yu-Sung Wu, Purdue University

Saurabh Bagchi, Purdue University

Sachin Garg, Avaya Labs

Navjot Singh, Avaya Labs

Tim Tsai, Sun Microsystems

Alexey Smirnov, SUNY at Stony Brook, NY

Tzi-cker Chiueh, SUNY at Stony Brook, NY

Robert Stroud, University of Newcastle upon Tyne, UK

Ian Welch, Victoria University of Wellington, New Zealand

John Warne, University of Newcastle upon Tyne, UK

Peter Ryan, University of Newcastle upon Tyne, UK

Lan Wang, UCLA CSD

Daniel Massey, USC/ISI

Keyur Patel, Cisco Systems

Lixia Zhang, UCLA CSD

Srinivasan Ramasubramanian, University of Arizona, Tucson

Christie Bolton, Oxford University Computing Laboratory

Gavin Lowe, Oxford University Computing Laboratory

Elias Proc?pio Duarte Jr., Federal University of Paran?, Brazil

Rog?rio Santini, Federal University of Paran?, Brazil

Jaime Cohen, State University of Ponta Grossa, Brazil

Beno? Garbinato, Universit? de Lausanne, Switzerland

Fernando Pedone, ?cole Polytechnique F?d?rale de Lausanne (EPFL), Switzerland

Rodrigo Schmidt, ?cole Polytechnique F?d?rale de Lausanne (EPFL), Switzerland

Jonathan C. Rowanhill, University of Virginia, Charlottesville

Philip E. Varner, University of Virginia, Charlottesville

John C. Knight, University of Virginia, Charlottesville

Subramanian Lakshmanan, Georgia Institute of Technology, Atlanta

Deepak J. Manohar, Georgia Institute of Technology, Atlanta

Mustaque Ahamad, Georgia Institute of Technology, Atlanta

H. Venkateswaran, Georgia Institute of Technology, Atlanta

Jyh-How Huang, University of Colorado, Boulder

Shivakant Mishra, University of Colorado, Boulder

Taha Bennani, LAAS-CNRS, France

Laurent Blain, LAAS-CNRS, France

Ludovic Courtes, LAAS-CNRS, France

Jean-Charles Fabre, LAAS-CNRS, France

Marc-Olivier Killijian, LAAS-CNRS, France

Eric Marsden, LAAS-CNRS, France

Fran?ois Ta?ani, LAAS-CNRS, France

Enrique Hern?ndez Orallo, Universidad Polit?cnica de Valencia

Joan Vila Carb?, Universidad Polit?cnica de Valencia

Archana Ganapathi, University of California, Berkeley

Yi-Min Wang, Microsoft Research, Redmond, WA

Ni Lao, Microsoft Research, Beijing, China

Ji-Rong Wen, Microsoft Research, Beijing, China

Pedro Martins, Univ. of Lisboa

Paulo Sousa, Univ. of Lisboa

Ant?nio Casimiro, Univ. of Lisboa

Paulo Ver?ssimo, Univ. of Lisboa

Ramakrishna Kotla, The University of Texas at Austin

Mike Dahlin, The University of Texas at Austin

N. Nakka, University of Illinois at Urbana-Champaign

Z. Kalbarczyk, University of Illinois at Urbana-Champaign

R. K. Iyer, University of Illinois at Urbana-Champaign

J. Xu, North Carolina State University

Alex X. Liu, The University of Texas at Austin

Mohamed G. Gouda, The University of Texas at Austin

Nick Cook, University of Newcastle, UK

Paul Robinson, University of Newcastle, UK

Santosh Shrivastava, University of Newcastle, UK

Jun He, University of Arizona, Tucson

Matti A. Hiltunen, AT&T Labs-Research, Florham Park, NJ

Richard D. Schlichting, AT&T Labs-Research, Florham Park, NJ

Rajesh Venkatasubramanian, University of Michigan, Ann Arbor

John P. Hayes, University of Michigan, Ann Arbor

Jing Deng, University of Colorado at Boulder

Richard Han, University of Colorado at Boulder

Shivakant Mishra, University of Colorado at Boulder

Frank Ortmeier, Universit?t Augsburg

Wolfgang Reif, Universit?t Augsburg

Daniele Codetta Raiteri, Universit? di Torino, Italy

Mauro Iacono, Seconda Universit? di Napoli, Italy

Giuliana Franceschinis, Universit? del Piemonte Orientale, Italy

Valeria Vittorini, Universit? di Napoli "Federico II", Italy

Dong Tang, Sun Microsystems, Inc., Santa Clara, CA

Dileep Kumar, Sun Microsystems, Inc., Santa Clara, CA

Sreeram Duvur, Sun Microsystems, Inc., Santa Clara, CA

Oystein Torbjornsen, Sun Microsystems, Inc., Santa Clara, CA

Ali Kalakech, LAAS-CNRS, France

Karama Kanoun, LAAS-CNRS, France

Yves Crouzet, LAAS-CNRS, France

Jean Arlat, LAAS-CNRS, France

L. Wang, University of Illinois at Urbana-Champaign

Z. Kalbarczyk, University of Illinois at Urbana-Champaign

R. K. Iyer, University of Illinois at Urbana-Champaign

H. Vora, Mascon IT Ltd., Schaumburg, IL

T. Chahande, Mascon IT Ltd., Schaumburg, IL

Dong Tang, Sun Microsystems, Inc.

Kishor S. Trivedi, Duke University

Christel Baier, Universit?t Bonn

Lucia Cloth, University of Twente

Boudewijn Haverkort, University of Twente

Matthias Kuntz, University of the Federal Armed Forces Munich

Markus Siegle, University of the Federal Armed Forces Munich

Mieke Massink, C.N.R.-ISTI, Italy

Joost-Pieter Katoen, Univ. of Twente, The Netherlands

Diego Latella, C.N.R.-ISTI, Italy

Tatsuya Ozaki, Hiroshima University

Tadashi Dohi, Hiroshima University

Hiroyuki Okamura, Hiroshima University

Naoto Kaio, Hiroshima Shudo University

A. Acquaviva, Universit? di Urbino "Carlo Bo", Italy

A. Aldini, Universit? di Urbino "Carlo Bo", Italy

M. Bernardo, Universit? di Urbino "Carlo Bo", Italy

A. Bogliolo, Universit? di Urbino "Carlo Bo", Italy

E. Bont?, Universit? di Urbino "Carlo Bo", Italy

E. Lattanzi, Universit? di Urbino "Carlo Bo", Italy

Ludmila Cherkasova, Hewlett-Packard Laboratories, Palo Alto, CA

Wenting Tang, Hewlett-Packard Laboratories, Palo Alto, CA

Sharad Singhal, Hewlett-Packard Laboratories, Palo Alto, CA

Raul Ceretta Nunes, Federal University of Santa Maria, Brazil

Ingrid Jansch-P?rto, Federal University of Rio Grande do Sul, Brazil

Panagiotis Katsaros, Aristotle University of Thessaloniki

Constantine Lazos, Aristotle University of Thessaloniki

Ramendra K. Sahoo, IBM Thomas J. Watson Research Center, Yorktown Heights, NY

Anand Sivasubramaniam, Pennsylvania State University, University Park, PA

Mark S. Squillante, IBM Thomas J. Watson Research Center, Yorktown Heights, NY

Yanyong Zhang, Rutgers University, Piscataway, NJ

Patrick Downey, The University of Western Australia

Rachel Cardell-Oliver, The University of Western Australia

Gunjan Khanna, Purdue University, West Lafayette, IN

Saurabh Bagchi, Purdue University, West Lafayette, IN

Yu-Sung Wu, Purdue University, West Lafayette, IN

Ann T. Tai, IA Tech, Inc., Los Angeles, CA

Kam S. Tso, IA Tech, Inc., Los Angeles, CA

William H. Sanders, University of Illinois, Urbana, IL

Vinu Vijay Kumar, University of Virginia

Rashi Verma, University of Virginia

John Lach, University of Virginia

Joanne Bechta Dugan, University of Virginia

Mehdi Kargahi, Sharif University of Technology and School of Computer Science, IPM, Tehran, Iran

Ali Movaghar, Sharif University of Technology and School of Computer Science, IPM, Tehran, Iran

M. Gribaudo, Universit? di Torino, Italia

M. Sereno, Universit? di Torino, Italia

G. Horv?th, Technical University of Budapest, Hungary

S. R?cz, Technical University of Budapest, Hungary

M. Telek, Technical University of Budapest, Hungary

Juan-Carlos Ruiz, Technical University of Valencia (UPV), Valencia, Spain

Pedro Yuste, Technical University of Valencia (UPV), Valencia, Spain

Pedro Gil, Technical University of Valencia (UPV), Valencia, Spain

Lenin Lemus, Technical University of Valencia (UPV), Valencia, Spain

Arnaud Albinet, LAAS-CNRS, France

Jean Arlat, LAAS-CNRS, France

Jean-Charles Fabre, LAAS-CNRS, France

Kimberly Keeton, HP Labs, Palo Alto, CA

Arif Merchant, HP Labs, Palo Alto, CA

Weining Gu, University of Illinois at Urbana-Champaign

Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign

Ravishankar K. Iyer, University of Illinois at Urbana-Champaign

Michael Harrison, University of York

Lorenzo Strigini, (City University, London

Saurabh Bagchi, Purdue University, USA

Douglas M. Blough, Georgia Institute of Technology, USA

Paolo Santi, IIT-CNR, Italy

Nitin Vaidya, University of Illinois, USA

Rog?rio de Lemos, University of Kent, Canterbury, UK

Cristina Gacek, University of Newcastle, UK

Alexander Romanovsky, University of Newcastle, UK

Luca Breveglieri, Politecnico di Milano, Italy

Israel Koren, University of Massachusetts, Amherst

Charles C. Howell, MITRE

Sofia Guerra, Adelard

Shari Lawrence Pfleeger, RAND

Victoria Stavridou-Coleman, SRI

Susanna Donatelli, University of Turin, Italy

Felicita Di Giandomenico, ISTI - CNR, Italy