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
Manuel Costa , Microsoft Research, UK
Miguel Castro , Microsoft Research, UK
pp. 9
M?rk Jelasity , University of Bologna, Italy
Alberto Montresor , 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
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
Todd M. Rafacz , University of Illinois at Urbana-Champaign
Sanjay J. patel , University of Illinois at Urbana-Champaign
pp. 61
Session 2A: Security Attacks
Chenxi Wang , Carnegie Mellon University
Cynthia Wong , Carnegie Mellon University
Stan Bielski , Carnegie Mellon University
Gregory R. Ganger , Carnegie Mellon University
pp. 73
Haiyun Luo , University of California, Los Angeles
Yi Yang , University of California, Los Angeles
Songwu Lu , University of California, Los Angeles
Hao Yang , University of California, Los Angeles
pp. 83
Kevin S. Killourhy , Carnegie Mellon University, Pittsburgh, Pennsylvania
Kymie M. C. Tan , Carnegie Mellon University, Pittsburgh, Pennsylvania
pp. 102
Session 2B: Coding Techniques
Arif Merchant , HP Labs, Palo Alto, CA
Yasushi Saito , HP Labs, Palo Alto, CA
Susan Spence , HP Labs, Palo Alto, CA
Svend Fr?lund , HP Labs, Palo Alto, CA
pp. 125
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
Tal Mor , Technion, Israel
Farrokh Vatan , California Institute of Technology, Pasadena, CA
pp. 157
A. J. 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
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
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
Patrick Th. Eugster , Distributed Programming Laboratory, EPFL
S?bastien Baehni , 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
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
pp. 285
Charles P. Shelton , Robert Bosch Corporation, Pittsburgh, PA
pp. 295
Session 6A: Distributed Algorithms
Cheap Paxos (Abstract)
Leslie Lamport , Microsoft
Mike Massa , Microsoft
pp. 307
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
pp. 325
Rick Buskens , Bell Laboratories, Lucent Technologies
Yansong (Jennifer) Ren , 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
Philip Koopman , Carnegie Mellon University
pp. 377
Session 7B: Practical Experience of Evaluation Tools & Methods
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
Leonard Chung , University of California, Berkeley
William Kakes , University of California, Berkeley
Calvin Ling , University of California, Berkeley
Aaron B. Brown , University of California, Berkeley
pp. 405
Jose Renato Santos , Hewlett-Packard Laboratories
G. (John) Janakiraman , Hewlett-Packard Laboratories
pp. 411
Session 8A: Intrusion Detection & Intrusion Tolerance
Christian Cachin , IBM Research, Switzerland
pp. 423
Ian Welch , Victoria University of Wellington, New Zealand
John Warne , University of Newcastle upon Tyne, UK
Robert Stroud , University of Newcastle upon Tyne, UK
pp. 453
Session 8B: Fault-Tolerant Routing
Christie Bolton , Oxford University Computing Laboratory
pp. 485
Rog?rio Santini , Federal University of Paran?, Brazil
Elias Proc?pio Duarte Jr. , Federal University of Paran?, 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
Deepak J. Manohar , Georgia Institute of Technology, Atlanta
Mustaque Ahamad , Georgia Institute of Technology, Atlanta
Subramanian Lakshmanan , 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
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
Taha Bennani , 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
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
Z. Kalbarczyk , University of Illinois at Urbana-Champaign
R. K. Iyer , University of Illinois at Urbana-Champaign
N. Nakka , University of Illinois at Urbana-Champaign
pp. 585
Alex X. Liu , The University of Texas at Austin
pp. 595
Nick Cook , University of Newcastle, UK
Santosh Shrivastava , University of Newcastle, UK
pp. 605
Session 10B: Mobility & Wireless Systems
Jun He , University of Arizona, Tucson
Richard D. Schlichting , AT&T Labs-Research, Florham Park, NJ
pp. 617
Rajesh Venkatasubramanian , University of Michigan, Ann Arbor
pp. 627
Richard Han , University of Colorado at Boulder
Shivakant Mishra , University of Colorado at Boulder
pp. 637
Session 1C: Fault Trees & Modelling
Mauro Iacono , Seconda Universit? di Napoli, Italy
Giuliana Franceschinis , Universit? del Piemonte Orientale, Italy
Daniele Codetta Raiteri , Universit? di Torino, Italy
pp. 659
Dileep Kumar , Sun Microsystems, Inc., Santa Clara, CA
Dong Tang , 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
Karama Kanoun , LAAS-CNRS, France
Yves Crouzet , LAAS-CNRS, France
Jean Arlat , LAAS-CNRS, France
pp. 681
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
Lucia Cloth , University of Twente
Boudewijn Haverkort , University of Twente
Christel Baier , Universit?t Bonn
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
Tadashi Dohi , Hiroshima University
Hiroyuki Okamura , Hiroshima University
Tatsuya Ozaki , Hiroshima University
pp. 721
A. Aldini , Universit? di Urbino "Carlo Bo", Italy
M. Bernardo , Universit? di Urbino "Carlo Bo", Italy
A. Bogliolo , Universit? di Urbino "Carlo Bo", Italy
A. Acquaviva , Universit? di Urbino "Carlo Bo", Italy
E. Lattanzi , Universit? di Urbino "Carlo Bo", Italy
pp. 731
Session 6C: QoS and Performance Evaluation
Wenting Tang , Hewlett-Packard Laboratories, Palo Alto, CA
Ludmila Cherkasova , 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
Saurabh Bagchi , Purdue University, West Lafayette, IN
Yu-Sung Wu , Purdue University, West Lafayette, IN
pp. 795
Kam S. Tso , IA Tech, Inc., Los Angeles, CA
Ann T. Tai , IA Tech, Inc., Los Angeles, CA
pp. 805
Session 8C: Evaluation Theory
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
pp. 826
M. Gribaudo , Universit? di Torino, Italia
M. Sereno , Universit? di Torino, Italia
pp. 835
S. R?cz , Technical University of Budapest, Hungary
G. Horv?th , Technical University of Budapest, Hungary
pp. 845
Session 9C: Dependability Benchmarking
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
Paolo Santi , IIT-CNR, Italy
Nitin Vaidya , University of Illinois, USA
pp. 900
Cristina Gacek , University of Newcastle, UK
Rog?rio de Lemos , University of Kent, Canterbury, UK
pp. 901
Susanna Donatelli , University of Turin, Italy
pp. 904
Felicita Di Giandomenico , ISTI - CNR, Italy
pp. 905
Author Index (PDF)
pp. 907
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool