CSDL - Proceedings I

Organizing Committee (PDF)

pp. xvi

Program Committee (PDF)

pp. xvii

Reviewers (PDF)

pp. xxi

1: Distributed Algorithms

On Detecting Global Predicates in Distributed Computations (Abstract)

Neeraj Mittal, The University of Texas at Austin

Vijay K. Garg, The University of Texas at Austin

pp. 0003

PDF

Backoff Protocols for Distributed Mutual Exclusion and Ordering (Abstract)

Gregory Chockler, The Hebrew University of Jerusalem

Dahlia Malkhi, The Hebrew University of Jerusalem

Michael K. Reiter, Bell Labs, Lucent Technologies

pp. 0011

PDF

Applications of Probabilistic Quorums to Iterative Algorithms (Abstract)

Hyunyoung Lee, Texas A&M University

Jennifer L. Welch, Texas A&M University

pp. 0021

PDF

2: Distributed Operating Systems

MVSS: Multi-View Storage System (Abstract)

Xiaonan Ma, Texas A & M University

A. L. Narasimha Reddy, Texas A & M University

pp. 0031

PDF

Selective Checkpointing and Rollbacks in Multithreaded Distributed Systems (Abstract)

Mangesh Kasbekar, Pennsylvania State University

Chita R. Das, Pennsylvania State University

pp. 0039

PDF

Efficient Generalized Deadlock Detection and Resolution in Distributed Systems (Abstract)

Soojung Lee, Inchon National University of Education

pp. 0047

PDF

3: Distributed Agent Systems

A Framework for Modeling Agent-Oriented Software (Abstract)

Haiping Xu, The University of Illinois at Chicago

Sol M. Shatz, The University of Illinois at Chicago

pp. 0057

PDF

Cost Effective Mobile Agent Planning for Distributed Information Retrieval (Abstract)

Jin-Wook Baek, Seoul National University

Jae-Heung Yeo, Seoul National University

Gyu-Tae Kim, Seoul National University

Heon-Young Yeom, Seoul National University

pp. 0065

PDF

Mobile Transactional Agents (Abstract)

Ron Sher, Technion, Israel Institute of Technology

Yariv Aridor, IBM Research Laboratory in Haifa

Opher Etzion, IBM Research Laboratory in Haifa

pp. 0073

PDF

4: Stabilization Problems

Tight Space Self-stabilizing Uniform l-Mutual Exclusion (Abstract)

Maria Gradinariu, Universit? de Paris Sud

Sébastien Tixeuil, Universit? de Paris Sud

pp. 0083

PDF

Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks (Abstract)

Alain Cournier, LaRIA, Universit? de Picardie Jules Verne

Franck Petit, LaRIA, Universit? de Picardie Jules Verne

Vincent Villain, LaRIA, Universit? de Picardie Jules Verne

Ajoy K. Datta, University of Nevada at Las Vegas

pp. 0091

PDF

Unifying Stabilization and Termination in Message-Passing Systems (Abstract)

Anish Arora, Ohio State University

Mikhail Nesterenko, Kent State University

pp. 0099

PDF

5: Load Sharing and Migration Methods

Dynamic Load Sharing With Unknown Memory Demands in Clusters (Abstract)

Songqing Chen, College of William and Mary

Li Xiao, College of William and Mary

Xiaodong Zhang, College of William and Mary

pp. 0109

PDF

Dynamic Migration Algorithms for Distributed Object Systems (Abstract)

V. Kalogeraki, University of California, Santa Barbara

P.M. Melliar-Smith, University of California, Santa Barbara

L.E. Moser, University of California, Santa Barbara

pp. 0119

PDF

The Home Model and Competitive Algorithms for Load Balancing in a Computing Cluster (Abstract)

Ron Lavi, The Hebrew University of Jerusalem

Amnon Barak, The Hebrew University of Jerusalem

pp. 0127

PDF

6: Applications

Robust Double Auction Protocol against False-Name Bids (Abstract)

Makoto Yokoo, NTT Communication Science Laboratories

Yuko Sakurai, NTT Communication Science Laboratories

Shigeo Matsubara, NTT Communication Science Laboratories

pp. 0137

PDF

An Analytical Study of Opportunistic Lease Renewal (Abstract)

Randal C. Burns, IBM Almaden Research Center

Robert M. Rees, IBM Almaden Research Center

Darrell D.E. Long, University of California, Santa Cruz

pp. 0146

PDF

Design and Evaluation of Redistribution Strategies for Wide-Area Commodity Distribution (Abstract)

Ugur Çetintemel, University of Maryland, College Park

Banu Özden, Bell Laboratories, Lucent Technologies

Avi Silberschatz, Bell Laboratories, Lucent Technologies

Michael J. Franklin, University of California, Berkeley

pp. 0154

PDF

7: Modeling and Simulation

An Application-Oriented Approach for Distributed System Modeling and Simulation (Abstract)

M. Nikolaidou, University of Athens

D. Anagnostopoulos, Harokopion University of Athens

pp. 0165

PDF

Performance Tuning of Distributed Applications with CoSMoS (Abstract)

Christoph Steigner, University of Koblenz-Landau

Jürgen Wilke, University of Koblenz-Landau

pp. 0173

PDF

Distributed Network Simulations Using the Dynamic Simulation Backplane (Abstract)

George F. Riley, Georgia Institute of Technology

Mostafa H. Ammar, Georgia Institute of Technology

Richard M. Fujimoto, Georgia Institute of Technology

Donghua Xu, Georgia Institute of Technology

Kalyan Perumalla, Georgia Institute of Technology

pp. 0181

PDF

8: Network Management

Optimal Hash Routing for Web Proxies (Abstract)

Xueyan Tang, Hong Kong University of Science and Technology

Samuel T. Chanson, Hong Kong University of Science and Technology

pp. 0191

PDF

Robust TCP Congestion Recovery (Abstract)

Haining Wang, The University of Michigan

Kang G. Shin, The University of Michigan

pp. 0199

PDF

An Application of Parameter Estimation to Route Discovery By On-Demand Routing Protocols (Abstract)

John Sucec, Rutgers University

Ivan Marsic, Rutgers University

pp. 0207

PDF

9: Real-Time Systems

Multiprocessor Preprocessing Algorithms for Uniprocessor On-Line Scheduling (Abstract)

Joël Goossens, Universit? Libre de Bruxelles

Sanjoy Baruah, University of North Carolina

pp. 0219

PDF

Endpoint Admission Control: Network Based Approach (Abstract)

Byung Kyu Choi, Texas A&M University

Riccardo Bettati, Texas A&M University

pp. 0227

PDF

A Real-Time System for Tele-Surgery (Abstract)

Steven E. Butner, University of California at Santa Barbara

Moji Ghodoussi, Computer Motion, Inc.

pp. 0236

PDF

10: Fault-Tolerant Issues I

Availability Study of Dynamic Voting Algorithms (Abstract)

Kyle Ingols, Massachusetts Institute of Technology Lab for Computer Science

Idit Keidar, Massachusetts Institute of Technology Lab for Computer Science

pp. 0247

PDF

Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification and Verification (Abstract)

Purnendu Sinha, Concordia University

Neeraj Suri, Chalmers University

pp. 0255

PDF

Revisiting Hierarchical Quorum Systems (Abstract)

Nuno Preguica, Universidade Nova de Lisboa

J. Legatheaux Martins, Universidade Nova de Lisboa

pp. 0264

PDF

11: Multicast and Anycast

Anonymous Gossip: Improving Multicast Reliability in Mobile Ad-Hoc Networks (Abstract)

Ranveer Chandra, Cornell University

Venugopalan Ramasubramanian, Cornell University

Kenneth P. Birman, Cornell University

pp. 0275

PDF

Transactions on Partially Replicated Data based on Reliable and Atomic Multicasts (Abstract)

Udo Fritzke, Jr., IRISA, Campus de Beaulieu

Philippe Ingels, IRISA, Campus de Beaulieu

pp. 0284

PDF

Distributed Admission Control for Anycast Flows with QoS Requirements (Abstract)

Dong Xuan, Texas A&M University

Weijia Jia, City University of Hong Kong

pp. 0292

PDF

12: Distributed Programming Model

MAGE: A Distributed Programming Model (Abstract)

Earl Barr, University of California, Davis

Raju Pandey, University of California, Davis

Michael Haungs, University of California, Davis

pp. 0303

PDF

A Multi-Threading Model for Distributed Mobile Objects and Its Realization in FarGo (Abstract)

Miki Abu, Technion---Israel Institute of Technology

Israel Ben-Shaul, Technion---Israel Institute of Technology

pp. 0313

PDF

On Slicing a Distributed Computation (Abstract)

Vijay K. Garg, The University of Texas at Austin

Neeraj Mittal, The University of Texas at Austin

pp. 0322

PDF

13: Fault-Tolerant Issues II

Optimistic Active Replication (Abstract)

Pascal Felber, Bell Labs, Lucent Technologies

André Schiper, Ecole Polytechnique F?d?rale de Lausanne

pp. 0333

PDF

On the Minimal Characterization of the Rollback-Dependency Trackability Property (Abstract)

Islene C. Garcia, Universidade Estadual de Campinas

Luiz E. Buzato, Universidade Estadual de Campinas

pp. 0342

PDF

Enforcing Perfect Failure Detection (Abstract)

Christof Fetzer, AT&T Labs Research

pp. 0350

PDF

14: Object Oriented Systems

A Fully Automated Object Extraction System for the World Wide Web (Abstract)

David Buttler, Georgia Institute of Technology

Ling Liu, Georgia Institute of Technology

Calton Pu, Georgia Institute of Technology

pp. 0361

PDF

Maintaining Mutual Consistency for Cached Web Objects (Abstract)

Bhuvan Urgaonkar, University of Massachusetts

Anoop George Ninan, University of Massachusetts

Mohammad Salimullah Raunak, University of Massachusetts

Prashant Shenoy, University of Massachusetts

Krithi Ramamritham, University of Massachusetts

pp. 0371

PDF

Object Distribution with Local Information (Abstract)

Bujor D. Silaghi, University of Maryland

Peter J. Keleher, University of Maryland

pp. 0381

PDF

15: Security Issues

Generalized Role-Based Access Control (Abstract)

Matthew J. Moyer, Georgia Institute of Technology

Mustaque Ahamad, Georgia Institute of Technology

pp. 0391

PDF

Exploring Robustness in Group Key Agreement (Abstract)

Yair Amir, Johns Hopkins University

Cristina Nita-Rotaru, Johns Hopkins University

John Schultz, Johns Hopkins University

Jonathan Stanton, Johns Hopkins University

Yongdae Kim, USC Information Sciences Institute

Gene Tsudik, University of California, Irvine

pp. 0399

PDF

RAD: A Compile-Time Solution to Buffer Overflow Attacks (Abstract)

Tzi-cker Chiueh, State University of New York at Stony Brook

Fu-Hau Hsu, State University of New York at Stony Brook

pp. 0409

PDF

16: Distributed Databases

On-Line Realignment of Clients in Networked Databases (Abstract)

Je-Ho Park, Polytechnic University, Brooklyn

Alex Delis, Polytechnic University, Brooklyn

pp. 0421

PDF

Combining Generality and Practicality in a Conit-Based Continuous Consistency Model for Wide-Area Replication (Abstract)

Haifeng Yu, Duke University

Amin Vahdat, Duke University

pp. 0429

PDF

Distributed Query Processing in the Internet: Exploring Relation Replication and Network Characteristics (Abstract)

Chang-Hung Lee, National Tiawan University

Ming-Syan Chen, National Tiawan University

pp. 0439

PDF

17: Distributed Operating Systems II

Fast Reconciliations in Fluid Replication (Abstract)

Landon P. Cox, University of Michigan, Ann Arbor

Brian D. Noble, University of Michigan, Ann Arbor

pp. 0449

PDF

Random, Ephemeral Transaction Identifiers in Dynamic Sensor Networks (Abstract)

Jeremy Elson, University of California at Los Angeles and USC/Information Sciences Institute

Deborah Estrin, University of California at Los Angeles and USC/Information Sciences Institute

pp. 0459

PDF

Adaptive Parameter Collection in Dynamic Distributed Environments (Abstract)

Zhenghua Fu, University of California at Irvine

Nalini Venkatasubramanian, University of California at Irvine

pp. 0469

PDF

18: Mobile Computing and Communication

Adaptive Approaches to Relieving Broadcast Storms in a Wireless Multihop Mobile Ad Hoc Network (Abstract)

Yu-Chee Tseng, National Chiao-Tung University

Sze-Yao Ni, National Central University

and En-Yu Shih, National Central University

pp. 0481

PDF

Adaptive Beacon Placement (Abstract)

Nirupama Bulusu, University of California at Los Angeles and USC/Information Sciences Institute

Deborah Estrin, University of California at Los Angeles and USC/Information Sciences Institute

John Heidemann, USC/Information Sciences Institute

pp. 0489

PDF

A Transparent Network Handover for Nomadic CORBA Users (Abstract)

Rainer Ruggaber, University of Karlsruhe

Jochen Seitz, University of Karlsruhe

pp. 0499

PDF

19: Mobility Theory and Practice

Support for Speculative Update Propagation and Mobility in Deno (Abstract)

Ugur Cetintemel, University of Maryland

Peter J. Keleher, University of Maryland

Michael J. Franklin, University of California at Berkeley

pp. 0509

PDF

A Traveling Salesman Mobility Model and Its Location Tracking in PCS Networks (Abstract)

Ming-Hour Yang, National Central University

Lien-Wu Chen, National Central University

Jang-Ping Sheu, National Central University

Yu-Chee Tseng, National Chiao- Tung University

pp. 0517

PDF

LIME: A Middleware for Physical and Logical Mobility (Abstract)

Amy L. Murphy, University of Rochester

Gian Pietro Picco, Politecnico di Milano

Gruia-Catalin Roman, Washington University

pp. 0524

PDF

20: Network Protocols

OSU-MAC: A New, Real-Time Medium Access Control Protocol for Wireless WANs with Asymmetric Wireless Links (Abstract)

Chunlei Liu, The Ohio State University

Ye Ge, The Ohio State University

Mike Fitz, The Ohio State University

Jennifer Hou, The Ohio State University

Wei-Peng Chen, The Ohio State University

Raj Jain, The Ohio State University

pp. 0537

PDF

A Heuristic for Dynamic Bandwidth Allocation with Preemption and Degradation for Prioritized Requests (Abstract)

Pranav Dharwadkar, Purdue University

Howard Jay Siegel, Purdue University

Edwin K. P. Chong, Purdue University

pp. 0547

PDF

A General Resource Allocation Synchronization Problem (Abstract)

Patrick Keane, Danet, Inc.

Mark Moir, Sun Microsystems Laboratories

pp. 0557

PDF

21: Distributed Software Engineering

Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications (Abstract)

Fernando Marotta, Politecnico di Milano

Angelo Morzenti, Politecnico di Milano

Dino Mandrioli, Politecnico di Milano

pp. 0567

PDF

JR: Flexible Distributed Programming in an Extended Java (Abstract)

Aaron W. Keen, University of California at Davis

Tingjian Ge, University of California at Davis

Justin T. Maris, University of California at Davis

Ronald A. Olsson, University of California at Davis

pp. 0575

PDF

A Hierarchical Cluster Algorithm for Dynamic, Centralized Timestamps (Abstract)

Paul A.S. Ward, University of Waterloo

David J. Taylor, University of Waterloo

pp. 0585

PDF

22: Resource Management

Developing and Refining an Adaptive Token-Passing Strategy (Abstract)

Burkhard Englert, University of California at Los Angeles

Larry Rudolph, Massachusetts Institute of Technology

Alex Shvartsman, University of Connecticut

pp. 0597

PDF

Shared State Consistency for Time-Sensitive Distributed Applications (Abstract)

Vijaykumar Krishnaswamy, Georgia Institute of Technology

Mustaque Ahamad, Georgia Institute of Technology

Michel Raynal, University of Rennes

David Bakken, Washington State University

pp. 0606

PDF

Differentiated Caching Services; A Control-Theoretical Approach (Abstract)

Ying Lu, University of Virginia

Avneesh Saxena, University of Virginia

Tarek F. Abdelzaher, University of Virginia

pp. 0615

PDF

23: Middleware

Comparing and Contrasting Adaptive Middleware Support in Wide-Area and Embedded Distributed Object Applications (Abstract)

Joseph Loyall, BBN Technologies

Richard Schantz, BBN Technologies

John Zinky, BBN Technologies

Partha Pal, BBN Technologies

Richard Shapiro, BBN Technologies

Craig Rodrigues, BBN Technologies

Michael Atighetchi, BBN Technologies

David Karr, BBN Technologies

Jeanna M. Gossett, The Boeing Company

Christopher D. Gill, Washington University

pp. 0625

PDF

Constructing Adaptive Software in Distributed Systems (Abstract)

Wen- Ke Chen, The University of Arizona

Matti A. Hiltunen, AT&T Labs - Research

Richard D. Schlichting, AT&T Labs - Research

pp. 0635

PDF

Design and Implementation of a Composable Reflective Middleware Framework (Abstract)

Nalini Venkatasubramanian, University of California at Irvine

Mayur Deshpande, University of California at Irvine

Shivjit Mohapatra, University of California at Irvine

Sebastian Gutierrez-Nolasco, University of California at Irvine

Jehan Wickramasuriya, University of California at Irvine

pp. 0644

PDF

24: Internet Technology

A Dynamic Heuristic Broadcasting Protocol for Video-on-Demand (Abstract)

Scott R. Carter, University of Houston

Jehan-François Pâris

Saurabh Mohan, University of Houston

Darrell D. E. Long, University of California at Santa Cruz

pp. 0657

PDF

The Effects of Inter-Packet Spacing on the Delivery of Multimedia Content (Abstract)

Apu Kapadia, University of Illinois at Urbana-Champaign

Annette Feng, University of Illinois at Urbana-Champaign and Los Alamos National Laboratory

Wu-chun Feng, Los Alamos National Laboratory and The Ohio State University

pp. 0665

PDF

Performance Analysis of the General Packet Radio Service (Abstract)

Christoph Lindemann, University of Dortmund

Axel Thümmler, University of Dortmund

pp. 0673

PDF

Posters

Dynamic Database Management for PCS Networks (Abstract)

Jie Li, University of Tsukuba

Yi Pan, Georgia State University

pp. 0683

PDF

Placement of Read-Write Web Proxies in the Internet (Abstract)

Xiaohua Jia, City University of Hong Kong

Deying Li, City University of Hong Kong

Xiaodong Hu, City University of Hong Kong

DingZhu Du, University of Minnesota

pp. 0687

PDF

Token Based Group Mutual Exclusion for Asynchronous Rings (Extended Abstract) (Abstract)

Sebastien Cantarell, Universite de Paris-Sud

Ajoy K. Datta, University of Nevada at Las Vegas

Franck Petit, Universite de Picardie Jules Verne

Vincent Villain, Universite de Picardie Jules Verne

pp. 0691

PDF

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems (Extended Abstract) (Abstract)

Alain Girault, INRIA-BIP

Christophe Lavarenne, INRIA-SOSSO

Yves Sorel, INRIA-SOSSO

Mihaela Sighireanu, University of Paris

pp. 0695

PDF

Interagent Communication and Synchronization in DaAgent (Abstract)

Shivakant Mishra, University of Colorado

Peng Xie, University of Wyoming

pp. 0699

PDF

A Lattice Based Framework of Shared Memory Consistency Models (Abstract)

Robert C. Steinke, University of Colorado at Boulder

Gary J. Nutt, University of Colorado at Boulder

pp. 0703

PDF

Appia: A Flexible Protocol Kernel Supporting Multiple Coordinated Channels (Abstract)

Hugo Miranda, Universidade de Lisboa

Alexandre Pinto, Universidade de Lisboa

Luis Rodrigues, Universidade de Lisboa

pp. 0707

PDF

Adaptive Protocols for Agent Migration (Abstract)

Ichiro Satoh, Ochanomizu University /Japan Science and Technology Corporation

pp. 0711

PDF

A Protocol Design of Communication State Transfer for Distributed Computing (Abstract)

Kasidit Chanchio, Illinois Institute of Technology

Xian-He Sun, Illinois Institute of Technology

pp. 0715

PDF

Pushing the Limits of Multicast in Ad Hoc Networks (Abstract)

Katia Obraczka, USC Information Sciences Institute

Gene Tsudik, USC Information Sciences Institute

Kumar Viswanath, USC Information Sciences Institute

pp. 0719

PDF

Maximizing Speedup through Performance Prediction for Distributed Shared Memory Systems (Abstract)

Yi-Chang Zhuang, National Cheng Kung University

Ce-Kuen Shieh, National Cheng Kung University

Tyng-Yue Liang, National Cheng Kung University

Chih-Hui Chou, National Cheng Kung University

pp. 0723

PDF

An Exercise in Proving Self-Stabilization through Ljapunov Functions (Abstract)

Oliver Theel, Darmstadt University of Technology

pp. 0727

PDF

Towards Communication-Sensitive Load Balancing (Abstract)

John Cruz, Purdue University

Kihong Park, Purdue University

pp. 0731

PDF

Sylvia de Oliveira e Cruz

A Command and Control Support System Using CORBA (Abstract)

José A. Rodrigues Nt., CASNAV - Brazilian Navy

Vera M. Ulm de G. Lima, CASNAV - Brazilian Navy

Gladys M.P.S. Lima, CASNAV - Brazilian Navy

Marcelo Corsino Ferreira, Pontif?cia Universidade Cat?lica

José Carlos Alves de Almeida, Pontif?cia Universidade Cat?lica

Renato F.G. Cerqueira

Bazílio Martins, Pontif?cia Universidade Cat?lica

pp. 0735

PDF

Open Metadata Formats: Efficient XML-Based Communication for Heterogeneous Distributed Systems (Abstract)

Patrick Widener, Georgia Institute of Technology

Karsten Schwan, Georgia Institute of Technology

Greg Eisenhauer, Georgia Institute of Technology

pp. 0739

PDF

A Secure Access Control Mechanism against Internet Crackers (Abstract)

Kenichi Kourai, University of Tokyo

Shigeru Chiba, University of Tsukuba

pp. 0743

PDF

Author Index (PDF)

pp. 747