8. OPODIS 2004: Grenoble, France

Teruo Higashino (Ed.): Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3544 Springer 2005, ISBN 3-540-27324-7 BibTeX

Invited Session I

David Lee, Christine Liu, Mihalis Yannakakis:
Protocol System Integration, Interface and Interoperability. 1-19
Electronic Edition (link) BibTeX

Design of Distributed Systems I

Brent N. Chun:
DART: Distributed Automated Regression Testing for Large-Scale Network Applications. 20-36
Electronic Edition (link) BibTeX
Patrice Laurençot, Sébastien Salva:
Testing Mobile and Distributed Systems: Method and Experimentation. 37-51
Electronic Edition (link) BibTeX
I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra:
A UNITY-Based Framework Towards Component Based Systems. 52-66
Electronic Edition (link) BibTeX

Ad-Hoc Networks and Mobile Agents

Jurek Czyzowicz, Dariusz R. Kowalski, Euripides Markou, Andrzej Pelc:
Searching for a Black Hole in Tree Networks. 67-80
Electronic Edition (link) BibTeX
Filipe Araújo, Luís Rodrigues:
Fast Localized Delaunay Triangulation. 81-93
Electronic Edition (link) BibTeX
Sukumar Ghosh, Kevin M. Lillis, Saurav Pandit, Sriram V. Pemmaraju:
Robust Topology Control Protocols. 94-109
Electronic Edition (link) BibTeX
Yosuke Ito, Hiroshi Mineno, Susumu Ishihara:
A Scheme Encouraging Mobile Nodes to Forward Packets via Multiple Wireless Links Aggregating System Between the Internet and Mobile Ad Hoc Networks. 110-123
Electronic Edition (link) BibTeX

Grid and Networks

Paul T. Groth, Michael Luck, Luc Moreau:
A Protocol for Recording Provenance in Service-Oriented Grids. 124-139
Electronic Edition (link) BibTeX
Alina Bejan, Sukumar Ghosh:
Self-optimizing DHTs Using Request Profiling. 140-153
Electronic Edition (link) BibTeX
Paola Flocchini, Linda Pagli, Giuseppe Prencipe, Nicola Santoro, Peter Widmayer, Tranos Zuva:
Computing All the Best Swap Edges Distributively. 154-168
Electronic Edition (link) BibTeX
Masahiko Fukuhara, Fumiaki Hirose, Tomoya Hatano, Hiroshi Shigeno, Ken-ichi Okada:
SRF TCP: A TCP-Friendly and Fair Congestion Control Method for High-Speed Networks. 169-183
Electronic Edition (link) BibTeX

Invited Session II

Joseph Sifakis:
Embedded Systems - Challenges and Work Directions. 184-185
Electronic Edition (link) BibTeX

Security

Jean-Loup Guillaume, Matthieu Latapy, Clémence Magnien:
Comparison of Failures and Attacks on Random and Scale-Free Networks. 186-196
Electronic Edition (link) BibTeX
Alex X. Liu, Mohamed G. Gouda, Huibo H. Ma, Anne H. H. Ngu:
Firewall Queries. 197-212
Electronic Edition (link) BibTeX

Distributed Algorithms

Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas:
Self-tuning Reactive Distributed Trees for Counting and Balancing. 213-228
Electronic Edition (link) BibTeX
Ittai Abraham, Yonatan Amit, Danny Dolev:
Optimal Resilience Asynchronous Approximate Agreement. 229-239
Electronic Edition (link) BibTeX
Håkan Sundell, Philippas Tsigas:
Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-Swap. 240-255
Electronic Edition (link) BibTeX

Self-stabilization

Hirotsugu Kakugawa, Masafumi Yamashita:
A Dynamic Reconfiguration Tolerant Self-stabilizing Token Circulation Algorithm in Ad-Hoc Networks. 256-266
Electronic Edition (link) BibTeX
Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain:
Snap-Stabilizing Depth-First Search on Arbitrary Networks. 267-282
Electronic Edition (link) BibTeX
Yusuke Sakurai, Fukuhito Ooshita, Toshimitsu Masuzawa:
A Self-stabilizing Link-Coloring Protocol Resilient to Byzantine Faults in Tree Networks. 283-298
Electronic Edition (link) BibTeX
Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch:
A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks. 299-315
Electronic Edition (link) BibTeX

Design of Distributed Systems II

Seth Gilbert, Grzegorz Malewicz:
The Quorum Deployment Problem. 316-330
Electronic Edition (link) BibTeX
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna:
A Constraint-Based Formalism for Consistency in Replicated Systems. 331-345
Electronic Edition (link) BibTeX
Francisco J. Torres-Rojas, Esteban Meneses:
Analyzing Convergence in Consistency Models for Distributed Objects. 346-356
Electronic Edition (link) BibTeX

Sensor Networks

Evangelos Kranakis, Danny Krizanc, Eric Williams:
Directional Versus Omnidirectional Antennas for Energy Consumption and k-Connectivity of Networks of Sensors. 357-368
Electronic Edition (link) BibTeX
Adnan Vora, Mikhail Nesterenko:
Secure Location Verification Using Radio Broadcast. 369-383
Electronic Edition (link) BibTeX
Mohamed G. Gouda, Young-ri Choi, Anish Arora:
Sentries and Sleepers in Sensor Networks. 384-399
Electronic Edition (link) BibTeX
Rui Fan, Indraneel Chakraborty, Nancy A. Lynch:
Clock Synchronization for Wireless Networks. 400-414
Electronic Edition (link) BibTeX

Task/Resource Allocation

James Broberg, Zahir Tari, Panlop Zeephongsekul:
Task Assignment Based on Prioritising Traffic Flows. 415-430
Electronic Edition (link) BibTeX
D. Carvalho, Fábio Protti, Massimo De Gregorio, Felipe M. G. França:
A Novel Distributed Scheduling Algorithm for Resource Sharing Under Near-Heavy Load. 431-442
Electronic Edition (link) BibTeX
Li Gao, Grzegorz Malewicz:
Internet Computing of Tasks with Dependencies Using Unreliable Workers. 443-458
Electronic Edition (link) BibTeX