The Community for Technology Leaders
2013 IEEE 33rd International Conference on Distributed Computing Systems (2001)
Mesa, AZ
Apr. 16, 2001 to Apr. 19, 2001
ISBN: 0-7695-1077-9
TABLE OF CONTENTS

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

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

Applications of Probabilistic Quorums to Iterative Algorithms (Abstract)

Hyunyoung Lee , Texas A&M University
Jennifer L. Welch , Texas A&M University
pp. 0021
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

Selective Checkpointing and Rollbacks in Multithreaded Distributed Systems (Abstract)

Mangesh Kasbekar , Pennsylvania State University
Chita R. Das , Pennsylvania State University
pp. 0039

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

Soojung Lee , Inchon National University of Education
pp. 0047
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

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

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
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

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

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

Anish Arora , Ohio State University
Mikhail Nesterenko , Kent State University
pp. 0099
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

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

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
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

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

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
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

Performance Tuning of Distributed Applications with CoSMoS (Abstract)

Christoph Steigner , University of Koblenz-Landau
Jürgen Wilke , University of Koblenz-Landau
pp. 0173

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
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

Robust TCP Congestion Recovery (Abstract)

Haining Wang , The University of Michigan
Kang G. Shin , The University of Michigan
pp. 0199
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

Endpoint Admission Control: Network Based Approach (Abstract)

Byung Kyu Choi , Texas A&M University
Riccardo Bettati , Texas A&M University
pp. 0227

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

Steven E. Butner , University of California at Santa Barbara
Moji Ghodoussi , Computer Motion, Inc.
pp. 0236
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

Revisiting Hierarchical Quorum Systems (Abstract)

Nuno Preguica , Universidade Nova de Lisboa
J. Legatheaux Martins , Universidade Nova de Lisboa
pp. 0264
11: Multicast and Anycast

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

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
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

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

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
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

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

Enforcing Perfect Failure Detection (Abstract)

Christof Fetzer , AT&T Labs Research
pp. 0350
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

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

Object Distribution with Local Information (Abstract)

Bujor D. Silaghi , University of Maryland
Peter J. Keleher , University of Maryland
pp. 0381
15: Security Issues

Generalized Role-Based Access Control (Abstract)

Matthew J. Moyer , Georgia Institute of Technology
Mustaque Ahamad , Georgia Institute of Technology
pp. 0391

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

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
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
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

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

Adaptive Parameter Collection in Dynamic Distributed Environments (Abstract)

Zhenghua Fu , University of California at Irvine
Nalini Venkatasubramanian , University of California at Irvine
pp. 0469
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

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

A Transparent Network Handover for Nomadic CORBA Users (Abstract)

Rainer Ruggaber , University of Karlsruhe
Jochen Seitz , University of Karlsruhe
pp. 0499
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

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

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
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

A General Resource Allocation Synchronization Problem (Abstract)

Patrick Keane , Danet, Inc.
Mark Moir , Sun Microsystems Laboratories
pp. 0557
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

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

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

Paul A.S. Ward , University of Waterloo
David J. Taylor , University of Waterloo
pp. 0585
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

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

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
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

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

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
24: Internet Technology

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

Saurabh Mohan , University of Houston
Darrell D. E. Long , University of California at Santa Cruz
Scott R. Carter , University of Houston
pp. 0657

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

Performance Analysis of the General Packet Radio Service (Abstract)

Christoph Lindemann , University of Dortmund
Axel Thümmler , University of Dortmund
pp. 0673
Posters

Dynamic Database Management for PCS Networks (Abstract)

Jie Li , University of Tsukuba
Yi Pan , Georgia State University
pp. 0683

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

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

Interagent Communication and Synchronization in DaAgent (Abstract)

Shivakant Mishra , University of Colorado
Peng Xie , University of Wyoming
pp. 0699

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

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

Adaptive Protocols for Agent Migration (Abstract)

Ichiro Satoh , Ochanomizu University /Japan Science and Technology Corporation
pp. 0711

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

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

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

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

Oliver Theel , Darmstadt University of Technology
pp. 0727

Towards Communication-Sensitive Load Balancing (Abstract)

John Cruz , Purdue University
Kihong Park , Purdue University
pp. 0731

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
Bazílio Martins , Pontif?cia Universidade Cat?lica
pp. 0735

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

A Secure Access Control Mechanism against Internet Crackers (Abstract)

Kenichi Kourai , University of Tokyo
Shigeru Chiba , University of Tsukuba
pp. 0743

Author Index (PDF)

pp. 747
97 ms
(Ver )