• D
  • DSN
  • 2004
  • 2004 International Conference on Dependable Systems and Networks (DSN'04)
Advanced Search 
2004 International Conference on Dependable Systems and Networks (DSN'04)
Florence, Italy
June 28-July 01
ISBN: 0-7695-2052-9
Table of Contents
Special Tracks
null
Keynote Address
Leslie Lamport, Microsoft Corp, Mountain View, CA, USA
pp. 3
Session 1A: Overlay Networks
Alberto Montresor, University of Bologna, Italy
M?rk Jelasity, University of Bologna, Italy
Ozalp Babaoglu, University of Bologna, Italy
pp. 19
Junghee Han, University of Michigan, Ann Arbor
Farnam Jahanian, University of Michigan, Ann Arbor
pp. 29
Session 1B: Fault Tolerance Hardware Design
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
pp. 61
Session 2A: Security Attacks
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
pp. 73
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
pp. 83
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
pp. 102
Session 2B: Coding Techniques
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
pp. 125
Garth R. Goodson, Carnegie Mellon University
Jay J. Wylie, Carnegie Mellon University
Gregory R. Ganger, Carnegie Mellon University
Michael K. Reiter, Carnegie Mellon University
pp. 135
Philip Koopman, Carnegie Mellon University, Pittsburgh, PA
Tridib Chakravarty, Carnegie Mellon University, Pittsburgh, PA
pp. 145
Session 3A: Emerging Technologies
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
pp. 157
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
pp. 167
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
pp. 177
Session 3B: Formal Methods
Wilfried Steiner, Technische Universit?t Wien, Austria
John Rushby, SRI International, USA
Maria Sorea, Universit?t Ulm, Germany
Holger Pfeifer, Universit?t Ulm, Germany
pp. 189
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
pp. 199
Sandeep S. Kulkarni, Michigan State University, East Lansing
Ali Ebnenasir, Michigan State University, East Lansing
pp. 209
Session 5A: Broadcast & Multicast
S?bastien Baehni, Distributed Programming Laboratory, EPFL
Patrick Th. Eugster, Distributed Programming Laboratory, EPFL
Rachid Guerraoui, Distributed Programming Laboratory, EPFL
pp. 233
Carolos Livadas, BBN Technologies
Idit Keidar, Dept. of Electrical Engineering, Technion
pp. 253
Session 5B: Dependability Assessment
Peter Popov, Centre for Software Reliability, City University, London
Bev Littlewood, Centre for Software Reliability, City University, London
pp. 265
Elizabeth Latronico, Carnegie Mellon University, Pittsburgh, PA
Paul Miner, NASA Langley Research Center, Hampton, VA
Philip Koopman, Carnegie Mellon University, Pittsburgh, PA
pp. 275
Jo?o Dur?es, ISEC/CISUC - Polytechnic Institute of Coimbra, Portugal
Henrique Madeira, DEI/CISUC - University of Coimbra, Portugal
pp. 285
Charles P. Shelton, Robert Bosch Corporation, Pittsburgh, PA
Philip Koopman, Carnegie Mellon University, Pittsburgh, PA
pp. 295
Session 6A: Distributed Algorithms
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
pp. 315
Jean-Philippe Martin, The University of Texas at Austin
Lorenzo Alvisi, The University of Texas at Austin
pp. 325
Yansong (Jennifer) Ren, Bell Laboratories, Lucent Technologies
Rick Buskens, Bell Laboratories, Lucent Technologies
Oscar Gonzalez, Bell Laboratories, Lucent Technologies
pp. 335
Session 7A: Embedded & Real-Time Systems
Soila Pertet, Carnegie Mellon University, Pittsburgh, PA
Priya Narasimhan, Carnegie Mellon University, Pittsburgh, PA
pp. 357
Elisabeth A. Strunk, University of Virginia, Charlottesville
John C. Knight, University of Virginia, Charlottesville
pp. 367
Session 7B: Practical Experience of Evaluation Tools & Methods
Ilir Gashi, City University, London
Peter Popov, City University, London
Lorenzo Strigini, City University, London
pp. 389
Lan Guo, West Virginia University, Morgantown, WV
Supratik Mukhopadhyay, West Virginia University, Morgantown, WV
Bojan Cukic, West Virginia University, Morgantown, WV
pp. 399
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
pp. 405
G. (John) Janakiraman, Hewlett-Packard Laboratories
Jose Renato Santos, Hewlett-Packard Laboratories
Yoshio Turner, Hewlett-Packard Laboratories
pp. 411
Session 8A: Intrusion Detection & Intrusion Tolerance
Christian Cachin, IBM Research, Switzerland
Asad Samar, Carnegie Mellon University, Pittsburgh, PA
pp. 423
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
pp. 453
Session 8B: Fault-Tolerant Routing
Christie Bolton, Oxford University Computing Laboratory
Gavin Lowe, Oxford University Computing Laboratory
pp. 485
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
pp. 495
Session 9A: Dissemination and Diffusion
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
pp. 507
Jonathan C. Rowanhill, University of Virginia, Charlottesville
Philip E. Varner, University of Virginia, Charlottesville
John C. Knight, University of Virginia, Charlottesville
pp. 517
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
pp. 527
Jyh-How Huang, University of Colorado, Boulder
Shivakant Mishra, University of Colorado, Boulder
pp. 537
Session 9B: Practical Experience in Fault-Tolerance & Real-Time
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
pp. 561
Session 10A: Support for Security & Dependability
Ramakrishna Kotla, The University of Texas at Austin
Mike Dahlin, The University of Texas at Austin
pp. 575
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
pp. 585
Alex X. Liu, The University of Texas at Austin
Mohamed G. Gouda, The University of Texas at Austin
pp. 595
Nick Cook, University of Newcastle, UK
Paul Robinson, University of Newcastle, UK
Santosh Shrivastava, University of Newcastle, UK
pp. 605
Session 10B: Mobility & Wireless Systems
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
pp. 617
Rajesh Venkatasubramanian, University of Michigan, Ann Arbor
John P. Hayes, University of Michigan, Ann Arbor
pp. 627
Jing Deng, University of Colorado at Boulder
Richard Han, University of Colorado at Boulder
Shivakant Mishra, University of Colorado at Boulder
pp. 637
Session 1C: Fault Trees & Modelling
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
pp. 659
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
pp. 669
Session 3C: Practical Experience on Dependability and Performance Assessment
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
pp. 687
Session 5C: Model Checking
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
pp. 701
Tatsuya Ozaki, Hiroshima University
Tadashi Dohi, Hiroshima University
Hiroyuki Okamura, Hiroshima University
Naoto Kaio, Hiroshima Shudo University
pp. 721
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
pp. 731
Session 6C: QoS and Performance Evaluation
Ludmila Cherkasova, Hewlett-Packard Laboratories, Palo Alto, CA
Wenting Tang, Hewlett-Packard Laboratories, Palo Alto, CA
Sharad Singhal, Hewlett-Packard Laboratories, Palo Alto, CA
pp. 743
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
pp. 772
Session 7C: Sensor Networks
Gunjan Khanna, Purdue University, West Lafayette, IN
Saurabh Bagchi, Purdue University, West Lafayette, IN
Yu-Sung Wu, Purdue University, West Lafayette, IN
pp. 795
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
pp. 805
Session 8C: Evaluation Theory
Vinu Vijay Kumar, University of Virginia
Rashi Verma, University of Virginia
John Lach, University of Virginia
Joanne Bechta Dugan, University of Virginia
pp. 817
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
pp. 826
G. Horv?th, Technical University of Budapest, Hungary
S. R?cz, Technical University of Budapest, Hungary
M. Telek, Technical University of Budapest, Hungary
pp. 845
Session 9C: Dependability Benchmarking
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
pp. 857
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
pp. 887
Saurabh Bagchi, Purdue University, USA
Douglas M. Blough, Georgia Institute of Technology, USA
Paolo Santi, IIT-CNR, Italy
Nitin Vaidya, University of Illinois, USA
pp. 900
Rog?rio de Lemos, University of Kent, Canterbury, UK
Cristina Gacek, University of Newcastle, UK
Alexander Romanovsky, University of Newcastle, UK
pp. 901
Luca Breveglieri, Politecnico di Milano, Italy
Israel Koren, University of Massachusetts, Amherst
pp. 902
Susanna Donatelli, University of Turin, Italy
pp. 904
Usage of this product signifies your acceptance of the Terms of Use.