The Community for Technology Leaders
RSS Icon
Subscribe
2004 International Conference on Dependable Systems and Networks (2004)
Florence, Italy
June 28, 2004 to July 1, 2004
ISBN: 0-7695-2052-9
TABLE OF CONTENTS
Special Tracks
pp. xx
pp. xxv
pp. xxix
Keynote Address
Leslie Lamport , Microsoft Corp, Mountain View, CA, USA
pp. 3
Session 1A: Overlay Networks
Miguel Castro , Microsoft Research, UK
Manuel Costa , Microsoft Research, UK
Antony Rowstron , Microsoft Research, UK
pp. 9
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
Christopher LaFrieda , Cornell University, Ithaca, NY
Rajit Manohar , Cornell University, Ithaca, NY
pp. 41
Fred A. Bower , Duke University
Paul G. Shealy , Duke University
Sule Ozev , Duke University
Daniel J. Sorin , Duke University
pp. 51
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
Taisuke Izumi , Osaka University, Japan
Akinori Saitoh , Osaka University, Japan
Toshimitsu Masuzawa , Osaka University, Japan
pp. 243
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
Cheap Paxos (Abstract)
Leslie Lamport , Microsoft
Mike Massa , Microsoft
pp. 307
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
Jennifer Morris , Carnegie Mellon University
Daniel Kroening , Carnegie Mellon University
Philip Koopman , Carnegie Mellon University
pp. 377
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
Yu-Sung Wu , Purdue University
Saurabh Bagchi , Purdue University
Sachin Garg , Avaya Labs
Navjot Singh , Avaya Labs
Tim Tsai , Sun Microsystems
pp. 433
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
Lan Wang , UCLA CSD
Daniel Massey , USC/ISI
Keyur Patel , Cisco Systems
Lixia Zhang , UCLA CSD
pp. 465
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
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
pp. 549
Enrique Hern?ndez Orallo , Universidad Polit?cnica de Valencia
Joan Vila Carb? , Universidad Polit?cnica de Valencia
pp. 555
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
Pedro Martins , Univ. of Lisboa
Paulo Sousa , Univ. of Lisboa
Ant?nio Casimiro , Univ. of Lisboa
Paulo Ver?ssimo , Univ. of Lisboa
pp. 567
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
Ali Kalakech , LAAS-CNRS, France
Karama Kanoun , LAAS-CNRS, France
Yves Crouzet , LAAS-CNRS, France
Jean Arlat , LAAS-CNRS, France
pp. 681
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
Dong Tang , Sun Microsystems, Inc.
Kishor S. Trivedi , Duke University
pp. 693
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
Mieke Massink , C.N.R.-ISTI, Italy
Joost-Pieter Katoen , Univ. of Twente, The Netherlands
Diego Latella , C.N.R.-ISTI, Italy
pp. 711
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
Raul Ceretta Nunes , Federal University of Santa Maria, Brazil
Ingrid Jansch-P?rto , Federal University of Rio Grande do Sul, Brazil
pp. 753
Panagiotis Katsaros , Aristotle University of Thessaloniki
Constantine Lazos , Aristotle University of Thessaloniki
pp. 762
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
Patrick Downey , The University of Western Australia
Rachel Cardell-Oliver , The University of Western Australia
pp. 785
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
M. Gribaudo , Universit? di Torino, Italia
M. Sereno , Universit? di Torino, Italia
pp. 835
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
Kimberly Keeton , HP Labs, Palo Alto, CA
Arif Merchant , HP Labs, Palo Alto, CA
pp. 877
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
Special Tracks
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
Felicita Di Giandomenico , ISTI - CNR, Italy
pp. 905
Author Index (PDF)
pp. 907
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool