close
1.

図書
図書
1. Proceedings 20th IEEE International Conference on Distributed Computing Systems Taipei, Taiwan, April 10-13, 2000 (: case ; : microfiche)
Sponsored by the IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with the Ministry of Education, the National Science Council, and the Industrial Technology Research Institute, Taiwan
出版情報: Los Alamitos : IEEE Computer Society, c2000  xvi, 708 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Message from the General Co-Chairs
Program Committee
Referees
Opening Plenary Address / Session 1：
The Post-PC Era: It's About Distributed Services / Prof. Randy H. Katz (University of California at Berkeley)Keynote Speech：
Mobile Agents / Session 2A：
Agent Migration between Incompatible Agent Platforms / P. Misikangas ; K. Raatikainen
Paradigm-Oriented Distributed Computing using Mobile Agents / H. Kuang ; L. Bic ; M. Dillencourt
System Mechanisms for Partial Rollback of Mobile Agent Execution / M. Strasser ; K. Rothermel
Adaptive Communications / Session 2B：
Aggregate TCP Congestion Control using Multiple Network Probing / P. Pradhan ; T. Chiueh ; A. Neogi
Partitionable Light-Weight Groups / L. Rodrigues ; K. Guo
Deterministic Optimal Routing for Two Heterogeneous Parallel Servers / K. Oida ; K. Shinjo
Multimedia Systems / Session 2C：
Critical Bandwidth Allocation Techniques for Stored Video Delivery across Best-Effort Networks / W. Feng ; M. Liu
Striping Doesn't Scale: How to Achieve Scalability for Continuous Media Servers with Replication / C. Chou ; L. Golubchik ; J. Lui
MPEG-4 Support to Multiuser Virtual Environments / G. Todesco ; R. Araujo
Panel: VoIP Engineering / Dr. David C.W. Chang (Senior Director, Lara Technology Inc., USA)Session 3A：
Network Management / Session 3B：
A New Network Layer Protocol with Routing Address and Tables Auto-Configuration Mechanism / H. Mori ; K. Sakamura
Scheduling Heuristics for Data Requests in an Oversubscribed Network with Priorities and Deadlines / M. Theys ; N. Beck ; H. Siegel ; M. Jurczyk ; M. Tan
On the Burstiness of the TCP Congestion-Control Mechanism in a Distributed Computing System / P. Tinnakornsrisuphap ; I. Philp
Clustered Architecture / Session 3C：
Design and Analysis of Clusters with Single I/O Space / R. Ho ; K. Hwang ; H. Jin
Distributed Java Virtual Machine for Message Passing Architectures / M. Surdeanu
Suez: A Cluster-based Scalable Real-Time Packet Router
Market-based Computing and Agent Organizations / Session 4A：
The Effect of False-name Declarations in Mechanism Design: Towards Collective Decision Making on the Internet / M. Yokoo ; Y. Sakurai ; S. Matsubara
Contract Type Sequencing for Reallocative Negotiation / M. Andersson ; T. Sandholm
MobileSpaces: A Framework for Building Adaptive Distributed Applications using a Hierarchical Mobile Agent System / I. Satoh
The Effect of Nogood Learning in Distributed Constraint Satisfaction / K. Hirayama
QoS Management / Session 4B：
Scalable QoS Guaranteed Communication Services for Real-Time Applications / B. Choi ; D. Xuan ; C. Li ; R. Bettati ; W. Zhao
Achieving Per-Flow Weighted Rate Fairness in a Core Stateless Network / R. Sivakumar ; T. Kim ; N. Venkitaraman ; J. Li ; V. Bharghavan
Quartz: A QoS Architecture for Open Systems / F. Siqueira ; V. Cahill
Distributed Scheduling / Session 4C：
An Open Real-Time Environment for Parallel and Distributed Systems / T. Kuo ; K. Lin ; Y. Wang
Task Assignment with Unknown Duration / M. Harchol-Balter
Scheduling with Global Information in Distributed Systems / F. Petrini
Improving Distributed Workload Performance by Sharing both CPU and Memory Resources / X. Zhang ; Y. Qu ; L. Xiao
Keynote Speech / Dr. J. Carl Hsu (Regional President, Asia Pacific and China, Bell Laboratories, Lucent Technologies, Inc.)Session 5：
Web Performance / Session 6A：
Detecting and Representing Relevant Web Deltas using Web Join / S. Bhowmick ; S. Madria ; W. Ng ; E. Lim
Popularity-Aware Greedy Dual-Size Web Proxy Caching Algorithms / A. Bestavros ; S. Jin
On Request Forwarding for Dynamic Web Caching Hierarchies / C. Chiang ; Y. Li ; M. Muller
Communication Protocols / Session 6B：
PARK: A Paused-And-Run K-Stream Multimedia Synchronization Control Scheme / C. Huang ; H. Kung ; J. Yang
An Asymtotically Optimal Multi-Layered Decentralized Consensus Protocol with an Initiator / Z. Lin ; M. Chen
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems / M. Raynal
Distributed System Architecture / Session 6C：
Highly Concurrent Shared Storage / K. Amiri ; G. Gibson ; R. Golding
Efficient RMI: Dynamic Specialization of Object Serialization / K. Kono ; T. Masuda
A Multi-version Approach to Conflict Resolution in Distributed Groupware Systems / C. Sun ; D. Chen
Panel: Information Appliances / Dr. Bao-Shuh Paul Lin (General Manager and Managing Director, Philips Innovation Center, Taipei)Session 7A：
Group Communication / Session 7B：
Secure Group Communication in Asynchronous Networks with Failures: Integration and Experiments / J. Stanton ; Y. Amir ; D. Hasse ; G. Ateniese ; Y. Kim ; C. Nita-Rotaru ; T. Schlossnagle ; J. Schultz ; G. Tsudik
A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms / I. Keidar ; R. Khazan
A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs / J. Sussman ; K. Marzullo ; D. Dolev
File Management / Session 7C：
Dynamic Adaptive File Management in a Local Area Network / W. Wang ; R. Muntz ; S. Nittel
Dynamic Replica Allocation using Database Migration in Broadband Networks / T. Hara ; K. Harumoto ; M. Tsukamoto ; S. Nishio
Static and Adaptive Date Replication Algorithms for Fast Information Access in Large Distributed Systems / T. Loukopoulos ; I. Ahmad
Internet Computing / Session 8A：
Spout: A Transparent Distributed Execution Engine for Java Applets / H. Sankaran
A Security Architecture for Mobile Agents in Ajanta / N. Karnik ; A. Tripathi
A Framework to Protect Mobile Agents by using Reference States / F. Hohl
Mobile Communication / Session 8B：
Mobile Cache Protocol: A Dynamic Object Relocation Protocol for Wide Area Networks / T. Watanabe ; A. Mori ; Y. Yamamoto
Performance Analysis of Dynamic Location Updation Strategies for Mobile Users / A. Bera ; N. Das
An Asynchronous Recovery Scheme based on Optimistic Message Logging for Mobile Computing Systems / T. Park ; H. Yeom
Adaptive Data Delivery in Wireless Communication Environments / C. Lin ; D. Lee
Fault Tolerance Techniques / Session 8C：
Graceful Quorum Reconfiguration in a Robust Emulation of Shared Memory / B. Englert ; A. Shvartsman
Understanding Replication in Databases and Distributed Systems / F. Pedone ; M. Wiesmann ; A. Schiper ; B. Kemme ; G. Alonso
An Adaptive, Perception-Driven Error Spreading Scheme in Continuous Media Streaming / S. Varadarajan ; H. Ngo ; J. Srivastava
Deadlock Analysis of Client/Server Programs / J. Zhou ; K. Tai
Keynote Speech: Impact of Photonic Technology on the Future Network / Dr. Yukou Mochida (Executive Director, Fujitsu Labs)Session 9：
Distributed Services / Session 10A：
A Dynamic Distributed Video on Demand Service / C. Bouras ; V. Kapoulas ; A. Konidaris ; A. Sevasti
A Query Propagation Approach to Improve CORBA Trading Service Scalability / Z. Tari ; G. Craske
Multimedia Service Configuration and Reservation in Heterogeneous Environments / D. Xu ; D. Wichadakul ; K. Nahrstedt
Mobile Environment / Session 10B：
A Semantic Broadcast Scheme for a Mobile Environment based on Dynamic Chunking / K. Lee ; H. Leong ; A. Si
An Efficient Cache Maintenance Scheme for Mobile Environment / A. Kahol ; S. Khurana ; S. Gupta ; P. Srimani
On Supporting Weakly-Connected Browsing in a Mobile Web Environment / D. McLeod ; S. Yau
Fault Recovery / Session 10C：
On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading / A. Tai ; K. Tso ; L. Alkalai ; S. Chau ; W. Sanders
Coherence-based Coordinated Checkpointing for Software Distributed Shared Memory Systems / A. Kongmunvattana ; S. Tanchatchawal ; N. Tzeng
An Application-Transparent, Platform-Independent Approach to Rollback-Recovery for Mobile Agent Systems / E. Gendelman
Panel: E-commerce on the Web / Dr. Philip S. Yu (IBM T.J. Watson Research Center, USA)Session 11A：
Distributed Algorithms / Session 11B：
Self-Stabilizing Network Orientation Algorithms in Arbitrary Rooted Networks / A. Datta ; S. Gurumurthy ; F. Petit ; V. Villain
Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes / J. Helary ; M. Hurfin ; A. Mostefaoui ; F. Tronel
A Relaxed Mutual Exclusion Problem with Application to Channel Allocation in Mobile Cellular Networks / T. Lai ; J. Jiang ; T. Ma
Cluster Performance / Session 11C：
Boosting the Performance of NOW-based Shared Memory Multiprocessors through Directory Hints / H. Hsiao ; C. King
Performance Evaluation of Soft Real-Time Scheduling for Multicomputer Cluster / W. Zhu ; B. Fleisch
Consistency Requirements of Distributed Shared Memory for Dijkstra's Mutual Exclusion Algorithm / J. Brzezinski ; D. Wawrzyniak
Web-based Applications / Session 12A：
TabSum: A Flexible and Dynamic Table Summarization Approach / M. Lo ; K. Wu ; P. Yu
Neural Nets based Predictive Prefetching to Tolerate WWW Latency / T. Ibrahim ; C. Xu
Index Structures of User Profiles for Efficient Web Page Filtering Services / Y. Wu ; A. Chen
Design with Distributed Algorithm / Session 12B：
Prediction-Capable Data Compression Algorithms for Improving Transmission Efficiency on Distributed Systems / H. Chiou ; A. Lai ; C. Lei
Scheduling using Genetic Algorithms / U. Fissgus
Precluding Useless Events for On-Line Global Predicate Detections / L. Yen
Architectural Supports / Session 12C：
Active Files: A Mechanism for Integrating Legacy Applications into Distributed Systems / P. Dasgupta ; A. Itzkovitz ; V. Karamcheti
A Content Placement and Management System for Distributed Web-Server Systems / C. Yang ; M. Luo
HydraNet-FT: Network Support for Dependable Services / G. Shenoy ; S. Satapati
Author Index
Preface
Message from the General Co-Chairs
Program Committee
2.

図書
図書
2. Proceedings : the eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, January15 to 17, 2003, Guadalajara, Mexico
sponsored by IEEE Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003  x, 320 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings, 21st IEEE Symposium on Reliable Distributed Systems, October 13-16, 2002, Osaka University, Suita, Japan (: case)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2002  xiv, 424 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium and Program Co-Chairs
Conference Committee
Referees
Keynote Speaker
Theory and Practice for Fault-Tolerant Protocols on the Internet / K. Marzullo
Security / Session 1：
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model / M. Correia ; L. Lung ; N. Neves ; P. Verissimo
A Fault-Tolerant Approach to Secure Information Retrieval / E. Yang ; J. Xu ; K. Bennett
Tolerance to Unbounded Byzantine Faults / M. Nesterenko ; A. Arora
Networking I / Session 2：
Implementing Quality of Service in Web Servers / C. Montez ; J. Fraga
Fault-Tolerant Virtual Private Networks within an Autonomous System / J. Han ; G. Malan ; F. Jahanian
Collaborative Networking in an Uncooperative Internet / R. van Renesse ; D. Dumitriu
Stabilization I / Session 3：
Fault-Local Stabilization: The Shortest Path Tree / J. Beauquier ; T. Herault
Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks / S. Dolev ; E. Schiller ; J. Welch
Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidirectional Rings / C. Johnen
Replication / Session 4：
An Indulgent Uniform Total Order Algorithm with Optimistic Delivery / P. Vicente ; L. Rodrigues
A Unified Proof of Minimum Time Complexity for Reaching Consensus and Uniform Consensus--An Oracle-Based Approach
Active Software Replication through a Three-Tier Approach / R. Baldoni ; C. Marchetti ; A. Termini
Efficient Distribution Precision Control in Symmetric Replication Environments / U. Cetintemel ; P. Keleher
Fault Recovery / Session 5：
Availability Models with Age-Dependent Checkpointing / T. Dohi ; N. Kaio ; K. Trivedi
Heterogeneous Checkpointing for Multithreaded Applications / F. Karablieh ; R. Bazzi
Non-Intrusive, Parallel Recovery of Replicated Data / R. Jimenez-Peris ; M. Patino-Martinez ; G. Alonso
On Node State Reconstruction for Fault Tolerant Distributed Algorithms / M. Okun ; A. Barak
Large Scale Group Communication / Session 6：
Probabilistic Atomic Broadcast / P. Felber ; F. Pedone
Efficient Epidemic-Style Protocols for Reliable and Scalable Multicast / I. Gupta ; A. Kermarrec ; A. Ganesh
Optimistic Total Order in Wide Area Networks / A. Sousa ; J. Pereira ; F. Moura ; R. Oliveira
Stabilization II / Session 7：
Self-Stabilizing Local Mutual Exclusion on Networks in which Process Identifiers are not Distinct / H. Kakugawa ; M. Yamashita
A Lower Bound on Dynamic k-stabilization in Asynchronous Systems / C. Genolini ; S. Tixeuil
Networking II / Session 8：
Asynchronous Resource Discovery in Peer to Peer Networks / S. Kutten ; D. Peleg
An Analysis of Fault Detection Latency Bounds of the SNS Scheme Incorporated into an Ethernet Based Middleware System / J. Liu ; K. Kim ; M. Kim
Short Papers / Session 9：
Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently / B. Charron-Bost ; X. Defago ; A. Schiper
Loose Synchronization of Multithreaded Replicas / C. Basile ; K. Whisnant ; Z. Kalbarczyk ; R. Iyer
The Performance of Checkpointing and Replication Schemes for Fault Tolerant Mobile Agent Systems / T. Park ; I. Byun ; H. Kim ; H. Yeom
Optimistic Byzantine Agreement / K. Kursawe
Modeling Communication Delays in Distributed Systems Using Time Series / R. Nunes ; I. Jansch-Porto
Object-Based Systems / Session 10：
Dependability of CORBA Systems: Service Characterization by Fault Injection / E. Marsden ; J. Fabre ; J. Arlat
Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems / K. Vaidyanathan ; D. Selvamuthu
Implementation of Threshold-Based Diagnostic Mechanisms for COTS-Based Applications / L. Romano ; A. Bondavalli ; S. Chiaradonna ; D. Cotroneo
The Guardian Model for Exception Handling in Distributed Systems / R. Miller ; A. Tripathi
Workshop on Reliable Peer-to-Peer Distributed Systems
Foreword
Reliable Peer-to-Peer File Systems / Session I：
Using File-Grain Connectivity to Implement a Peer-to-Peer File System / D. Brodsky ; A. Brodsky ; J. Pomkoski ; S. Gong ; M. Feeley ; N. Hutchinson
Building a Reliable Mutable File System on Peer-to-Peer Storage / C. Stein ; M. Tucker ; M. Seltzer
Reperasure: Replication Protocol Using Erasure-code in Peer-to-Peer Network / Z. Zhang ; Q. Lian
Reliable Routing and Discovery / Session II：
Improving Object Search Using Hints, Gossip, and Supernodes / H. Johansen ; D. Johansen
A Search for Routing Strategies in a Peer-to-Peer Network Using Genetic Programming / M. Iles ; D. Deugo
Implementing IPv6 as a Peer-to-Peer Overlay Network / L. Zhou ; M. Marsh
Failure Management / Session III：
Asynchronous Byzantine Group Communication
Power-Aware Epidemics
Introspective Failure Analysis: Avoiding Correlated Failures in Peer-to-Peer Systems / H. Weatherspoon ; T. Moscovitz ; J. Kubiatowicz
Workshop on Self-Repairing and Self-Configurable Distributed Systems
Keynote Speakers
From Byzantine Agreement to Practical Survivability / D. Malkhi
OBIgrid: Towards A New Distributed Platform for Bioinformatics / A. Konagaya
Self-Stabilization
Self-Stabilizing Distributed File Systems / R. Kat
A Self-Stabilizing Algorithm for Finding Cliques in Distributed Systems / H. Ishii
A Self-Stabilizing Algorithm for the Steiner Tree Problem / S. Kamei
Large-Scale Distributed Systems
Failure Detectors for Large-Scale Distributed Systems / N. Hayashibara ; A. Cherif ; T. Katayama
Management of Mobile Agent Systems Using Social Insect Metaphors / T. White ; B. Pagurek
Self-Organizing Formation Algorithm for Active Elements / K. Fujibayashi ; S. Murata ; K. Sugawara ; M. Yamamura
Author Index
Message from the Symposium and Program Co-Chairs
Conference Committee
Referees
4.

図書
図書
4. Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, California (: bookbroker ; : microfiche)
sponsored by IEEE Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002  xiii, 361 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Workshop Co-Chairs
Message from the Technical Program Committee Co-Chairs
Conference Organization
Advanced Techniques for Real-Time Systems
Meta-Programming Techniques for Distributed Real-Time and Embedded Systems / J. K. Cross ; D. C. Schmidt
Jini Meets Embedded Control Networking: A Case Study in Portability Failure / M. Beveridge ; P. Koopman
GUI Approach to Programming of TMO Frames / K. H. Kim ; S.-J. Kang ; Y. Li
Synthesis Aspects of the PARADISE Design Environment / F. J. Rammig
RT and FT Techniques for CORBA
Handling FT-CORBA Compliant Interoperable Object Group References / R. Baldoni ; C. Marchetti ; R. Panella ; L. Verde
Schedulability in Model-Based Software Development for Distributed Real-Time Systems / S. S. Yau ; X. Zhou
Role-Based Access Control for CORBA Distributed Object Systems / R. R. Obelheiro ; J. S. Fraga
FTS: A High-Performance CORBA Fault-Tolerance Service / R. Friedman ; E. Hadad
Worst Case Execution Time (WCET)
Worst Case Execution Time Analysis of Object-Oriented Programs / J. Gustafsson
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems / E. Y.-S. Hu ; G. Bernat ; A. Wellings
Writing Temporally Predictable Code / P. Puschner ; A. Burns
Fault-Tolerant Systems
Auction System Design Using Open Multithreaded Transactions / J. Kienzle ; A. Strohmeier ; A. Romanovsky
Assessing Multi-Version Systems through Fault Injection / P. Townend ; J. Xu
HIDOORS--A High Integrity Distributed Deterministic Java Environment / J. Ventura ; F. Siebert ; A. Walter ; J. Hunt
Performance Evaluation of a Probabilistic Replica Selection Algorithm / S. Krishnamurthy ; W. H. Sanders ; M. Cukier
Real-Time Object Models
Real Time Issues on Coordinating Cooperative Autonomous Objects / C. Mitidieri ; C. E. Pereira ; L. L. Penz
Timed Information Flow among Objects Based on Role Concept / K. Izaki ; K. Tanaka ; M. Takizawa
Scenario-Based Implementation Architecture for Real-Time Object-Oriented Models / S. Kim ; S. Hong ; N. Chang
Implementation of a TMO-Based Real-Time Airplane Landing Simulator on a Distributed Computing Environment / M.-G. Lee ; S. Lee
Distributed and Ubiquitous Computing
Configurable Services for Mobile Users / A. Rasche ; A. Polze
Technology Challenges for Building Internet-Scale Ubiquitous Computing / T. Nakajima ; H. Ishikawa ; E. Tokunaga ; F. Stajano
Asynchronous Leasing / R. Boichat ; P. Dutta ; R. Guerraoui
An Adaptive Distributed System Based on Conditional Dependencies / L. Pirmez ; L. F. R. C. Carmo ; R. de B. Correia ; R. F. Correa ; R. L. Gomes ; L. F. H. de Bacellar
Operating Systems and Middleware
Operating System Performance in Support of Real-Time Middleware / M. Deshpande ; C. O'Ryan
Service Differentiation of Communication-Bound Processes in a Real-Time Operating System / D. Cotroneo ; S. Russo ; G. Ventre ; M. Ficco ; M. Gargiulo
Distributed Object-Oriented Real-Time Simulation of the Multicast Protocol RFRM / Y. S. Hong
Reconfiguration of Resources in Middleware / H. A. Duran-Limon ; G. S. Blair
Programming Middle Boxes with Group Event Notification Protocol / M. Smirnov
Design and Testing
Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps / M. Nakamura ; P. Leelaprute ; T. Kikuno
Object Testing in ITEE / S. Ohara ; F. Tsunoda ; H. Maezawa ; M. Hui ; T. Wang ; P. C.-Y. Sheu ; R. Paul
Scenario-Based Modeling and Its Applications / X. Bai ; W.-T. Tsai ; K. Feng ; L. Yu
On Aspect-Orientation in Distributed Real-Time Dependable Systems / A. Gal ; O. Spinczyk ; W. S. Preikschat
Object-Oriented Design--I
Evaluating UML Extensions for Modeling Real-Time Systems / L. Bichler ; A. Radermacher ; A. Schurr
An Extended Object Composition Model for Distributed Multimedia Services / D.-H. Kim ; K.-H. Lee
Short Presentations
A Modified Version of Rate-Monotonic Scheduling Algorithm and Its Efficiency Assessment / M. Naghibzadeh
Scalable Group Membership Service for Mobile Internet / B. Kim ; D. Lee ; D. Nam
Construction of CORBA Based Object Group Platform for Distributed Real-Time Services / C.-S. Shin ; M.-H. Kim ; Y.-S. Jeong ; S.-K. Han ; S.-C. Joo
Invited Talk
Dependable Semantic Web / B. Thuraisingham ; E. Hughes ; D. Allen
Scheduling
Middleware Scheduling Optimization Techniques for Distributed Real-Time and Embedded Systems / C. Gill ; R. Cytron ; D. Schmidt
Schedulability Analysis of an Event-Based Real-Time Protocol Framework / J. Rodrigues ; L. Rodrigues
A Distributed Adaptive Scheduler for QoS Support in Compose|Q / S. Mohapatra ; N. Venkatasubramanian
A Scheduling Technique Providing a Strict Isolation of Real-Time Threads / U. Brinkschulte ; J. Kreuzinger ; M. Pfeffer ; T. Ungerer
Object-Oriented Design--II
Application of Object-Oriented Design to Knowledge Amplification by Structured Expert Randomization (KASER) / S. H. Rubin ; R. J. Rush Jr. ; M. G. Ceruti
Eliciting and Specifying Requirements with Use Cases for Embedded Systems / E. Nasr ; J. McDermid
Panel: Open Research Issues in Building Dependable Middleware
Author Index
Message from the Workshop Co-Chairs
Message from the Technical Program Committee Co-Chairs
Conference Organization
5.

図書
図書
5. Proceedings, 11th IEEE International Symposium on High Performance Distributed Computing : HPDC-11 2002, 24-26 July 2002, Edinburgh, Scotland
sponsored by the IEEE Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  xiv, 426 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Welcome Message from the General Chair
A Message from the Program Chair
Program Committee
Data Servers and Grid Storage I / Session 1：
Flexibility, Manageability and Performance in a Grid Storage Appliance / J. Bent ; V. Venkataramani ; N. LeRoy ; A. Roy ; J. Stanley ; A. C. Arpaci-Dusseau ; R. H. Arpaci-Dusseau ; M. Livny
Distributed Computing with Load-Managed Active Storage / R. Wickremesinghe ; J. S. Chase ; J. S. Vitter
A Decentralized, Adaptive Replica Location Mechanism / M. Ripeanu ; I. Foster
Adapting to Grid Behavior / Session 2：
Adaptive Timeout Discovery Using the Network Weather Service / M. S. Allen ; R. Wolski ; J. S. Plank
Dynamic Right-Sizing in FTP (drsFTP): Enhancing Grid Performance in User-Space / M. K. Gardner ; W. Feng ; M. Fisk
QoS-Based Resource Discovery in Intermittently Available Environments / Y. Huang ; N. Venkatasubramanian
Grid Resource Management / Session 3：
Design and Evaluation of a Resource Selection Framework for Grid Applications / C. Liu ; L. Yang ; D. Angulo
A Scalable QoS-Aware Service Aggregation Model for Peer-to-Peer Computing Grids / X. Gu ; K. Nahrstedt
An Enterprise-Based Grid Resource Management System / Q. Snell ; K. Tew ; J. Ekstrom ; M. Clement
Application Frameworks I / Session 4：
Interactive and Descriptor-Based Deployment of Object-Oriented Grid Applications / F. Baude ; D. Caromel ; F. Huet ; L. Mestre ; J. Vayssiere
Partitionable Services: A Framework for Seamlessly Adapting Distributed Applications to Heterogeneous Environments / A.-A. Ivan ; J. Harman ; M. Allen ; V. Karamcheti
Lightweight Self-Organizing Frameworks for Metacomputing / V. Sunderam ; D. Kurzyniec
Parallel Application Analysis and Optimization / Session 5：
Using Kernel Couplings to Predict Parallel Application Performance / V. Taylor ; X. Wu ; J. Geisler ; R. Stevens
Using Semantic Information to Guide Efficient Parallel I/O on Clusters / M. Schulz
Multigrain Parallelism for Eigenvalue Computations on Networks of Clusters / J. R. McCombs ; A. Stathopoulos
Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs / G. Matthews ; R. Hood ; S. Johnson ; P. Leggett
Optimizing Grid Performance / Session 6：
Dynamic Monitoring of High-Performance Distributed Applications / D. Gunter ; B. Tierney ; K. Jackson ; J. Lee ; M. Stoufer
Leveraging Run Time Knowledge about Event Rates to Improve Memory Utilization in Wide Area Data Stream Filtering / B. Plale
GridMapper: A Tool for Visualizing the Behavior of Large-Scale Distributed Systems / W. Allcock ; J. Bester ; J. Bresnahan ; J. Gawor ; J. A. Insley ; J. M. Link ; M. E. Papka
Predicting Sporadic Grid Data Transfers / S. Vazhkudai ; J. M. Schopf
Grid Practice and Experience / Session 7：
Error Scope on a Computational Grid: Theory and Practice / D. Thain
Design and Implementation of Secured Information Services for the ASCI Grid / W. R. Johnson
Architecture Requirements for Commercializing Grid Resources / C. Kenyon ; G. Cheliotis
GriPhyN and LIGO, Building a Virtual Data Grid for Gravitational Wave Scientists / E. Deelman ; C. Kesselman ; G. Mehta ; L. Meshkat ; L. Pearlman ; K. Blackburn ; P. Ehrens ; A. Lazzarini ; R. Williams ; S. Koranda
Communication and RPC Protocols / Session 8：
Evaluating Web Services Based Implementations of GridRPC / S. Shirasuna ; H. Nakada ; S. Matsuoka ; S. Sekiguchi
Investigating the Limits of SOAP Performance for Scientific Computing / K. Chiu ; M. Govindaraju ; R. Bramley
An Evaluation of Object-Based Data Transfers on High Performance Networks / P. M. Dickens ; W. Gropp
A Comparison of TCP Automatic Tuning Techniques for Distributed Computing / E. Weigle
Application Frameworks II / Session 9：
On the Viability of Component Frameworks for High Performance Distributed Computing: A Case Study / M. Migliardi
Distributed Model Coupling Framework / M. T. Bettencourt
Coven--A Framework for High Performance Problem Solving Environments / N. A. DeBardeleben ; W. B. Ligon III ; S. Pandit ; D. C. Stanzione Jr.
Data Servers and Grid Storage II / Session 10：
MySRB and SRB: Components of a Data Grid / A. Rajasekar ; M. Wan ; R. Moore
A High-Performance Cluster Storage Server / K. Bell ; A. Chien ; M. Lauria
A Secure Distributed Search System / Y. Xie ; D. O'Hallaron ; M. K. Reiter
Grid Job Submission and Scheduling / Session 11：
InfoGram: A Grid Service that Supports Both Information Queries and Job Execution / G. von Laszewski ; C. J. Pena
A Metascheduler for the Grid / S. S. Vadhiyar ; J. J. Dongarra
Decoupling Computation and Data Scheduling in Distributed Data-Intensive Applications / K. Ranganathan
Distributed Job Scheduling on Computational Grids using Multiple Simultaneous Requests / V. Subramani ; R. Kettimuthu ; S. Srinivasan ; P. Sadayappan
Adaptive Applications and Middleware / Session 12：
IQ-RUDP: Coordinating Application Adaptation with Network Transport / Q. He ; K. Schwan
Adaptive Online Data Compression / E. Jeannot ; B. Knutsson ; M. Bjorkman
Software Architecture-Based Adaptation for Grid Computing / S.-W. Cheng ; D. Garlan ; B. Schmerl ; P. Steenkiste ; N. Hu
Local Discovery of System Architecture - Application Parameter Sensitivity: An Empirical Technique for Adaptive Grid Applications / I. R. Corey ; J. R. Johnson ; J. S. Vetter
Poster Papers
The GridLab Grid Application Toolkit / G. Allen ; K. Davis ; T. Dramlitsch ; T. Goodale ; I. Kelley ; G. Lanfermann ; J. Novotny ; T. Radke ; K. Rasul ; M. Russell ; E. Seidel ; O. Wehrens
BioGRID--A European Grid for Molecular Biology / P. Bala ; J. Pytlinski ; M. Nazaruk ; V. Alessandrini ; D. Girou ; D. Erwin ; D. Mallmann ; J. MacLaren ; J. Brooke ; J.-F. Myklebust
Grid Services in Action: Grid Enabled Optimisation and Design Search / S. J. Cox ; R. P. Boardman ; L. Chen ; M. Duta ; H. Eres ; M. J. Fairman ; Z. Jiao ; M. Giles ; C. A. Goble ; G. E. Pound ; A. J. Keane ; M. Scott ; N. R. Shadbolt ; F. Tao ; J. L. Wason ; G. Xue
The Performance of Processor Co-Allocation in Multicluster Systems / A. I. D. Bucur ; D. H. J. Epema
A Case for Proactivity in Directory Services / F. E. Bustamante ; P. Widener
Grid-Based Knowledge Discovery Services for High Throughput Informatics / M. Ghanem ; Y. Guo ; A. Rowe ; P. Wendel
Bringing the Grid to the Biomedical Workbench / R. Baxter ; N. C. Hong ; R. Baldock ; B. Hill ; J. Sharpe
Location-Transparent Naming in Grid Computing Using Legion-G / M. Humphrey ; S. Arnold ; G. Wasson
A Peer-to-Peer Approach to Resource Location in Grid Environments / A. Iamnitchi ; D. C. Nurmi
Virtual Services in Data Grids / A. Jagatheesan ; B. Zhu
A Batch Script Generator Web Service for Computational Portals / S. Mock ; K. Mueller ; C. Youn ; M. Pierce ; G. Fox ; M. Thomas
UNICORE-Globus Interoperability: Getting the Best of Both Worlds / M. Rambadt ; P. Wieder
Scalability of a Distributed Neural Information Retrieval System / M. Weeks ; V. J. Hodge ; J. Austin
Author Index
Welcome Message from the General Chair
A Message from the Program Chair
Program Committee
6.

図書
図書
6. Proceedings, 22nd international Symposium on Reliable Distributed Systems, 6-8 October 2002, Florence, Italy
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2003  ix, 390 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message
Program Co-Chairs' Message
Keynote Address / Session 1：
Dependable Multicasting / Session 2：
Reliably Networking a Multicast Repository / W. Lam ; H. Garcia-Molina
NEEM: Network-Friendly Epidemic Multicast / J. Pereira ; L. Rodrigues ; M. Monteiro ; R. Oliveira ; A.-M. Kermarrec
Epidemic Spreading in Real Networks: An Eigenvalue Viewpoint / Y. Wang ; D. Chakrabarti ; C. Wang ; C. Faloutsos
Group Communication Protocols under Errors / C. Basile ; L. Wang ; Z. Kalbarczyk ; R. Iyer
Peer-to-Peer and Beyond / Session 3：
Network Awareness and Failure Resilience in Self-Organising Overlay Networks / L. Massoulie ; A. Ganesh
Reliable Peer-to-Peer Information Monitoring through Replication / B. Gedik ; L. Liu
Federation Web: A Scheme to Compound Authorization Chains on Large-Scale Distributed Systems / A. Olivo Santin ; J. da Silva Fraga ; F. Siqueira ; E. de Mello
Buffer Management in Probabilistic Peer-to-Peer Communication Protocols / B. Koldehofe
Replication / Session 4：
Component Replication in Distributed Systems: A Case Study Using Enterprise Java Beans / A. Kistijantoro ; G. Morgan ; S. Shrivastava ; M. Little
Autonomous Replication for High Availability in Unstructured P2P Systems / F. Cuenca-Acuna ; R. Martin ; T. Nguyen
Performance Virtualization for Large-Scale Storage Systems / D. Chambliss ; G. Alvarez ; P. Pandey ; D. Jadav ; J. Xu ; R. Menon ; T. Lee
Preventing Orphan Requests in the Context of Replicated Invocation / S. Pleisch ; A. Kupsys ; A. Schiper
Checkpointing / Session 5：
Performance and Effectiveness Analysis of Checkpointing in Mobile Environments / X. Chen ; M. Lyu
Raptor: Integrating Checkpoints and Thread Migration for Cluster Management / H. Shafi ; E. Speight ; J. Bennett
Invited Address / Session 6：
AMSD: A Dependability Roadmap for the Information Society in Europe / L. Simoncini
Making Services Robust / Session 7：
Easy: Engineering High Availability QoS in wServices / E. Dekel ; O. Frenkel ; G. Goft ; Y. Moatti
Coordinated Forward Error Recovery for Composite Web Services / F. Tartanoglu ; V. Issarny ; A. Romanovsky ; N. Levy
Service Continuations: An Operating System Mechanism for Dynamic Migration of Internet Service Sessions / F. Sultan ; A. Bohra ; L. Iftode
Frameworks and Protocols / Session 8：
Appia vs. Cactus: Comparing Protocol Composition Frameworks / S. Mena ; X. Cuvellier ; C. Gregoire
A Systematic Approach to the Development of Event Based Applications / P. Fenkam ; H. Gall ; M. Jazayeri
TCP-Friendly Many-to-Many End-to-End Congestion Control / T. Anker ; D. Dolev ; I. Shnayderman ; I. Sukhov
A Reconfigurable Byzantine Quorum Approach for the Agile Store / L. Kong ; A. Subbiah ; M. Ahamad ; D. Blough
Security / Session 9：
A Reliable Key Authentication Schema for Secure Multicast Communications / R. Di Pietro ; A. Durante ; L. Mancini
Pesto Flavoured Security / F. Dillema ; T. Stabell-Kulo
SNARE: A Strong Security Scheme for Network-Attached Storage / Y. Zhu ; Y. Hu
Transparent Runtime Randomization for Security
Experimental Evaluation / Session 10：
An Experimental Evaluation of Correlated Network Partitions in the Coda Distributed File System / R. Lefever ; M. Cukier ; W. Sanders
Hazard Analysis of Complex Distributed Railway Systems / P. di Tommaso ; R. Esposito ; P. Marmo ; A. Orazzo
Assessing the Dependability of OGSA Middleware by Fault Injection / N. Looker
Improving the Multiple Errors Detection Coverage in Distributed Embedded Systems / S. Blanc ; P. Gil
Panel / Session 11：
Trustworthiness of Open Information Systems: How Should It Be Achieved?
System Engineering / Session 12：
Transparent Fault-Tolerant Java Virtual Machine / R. Friedman ; A. Kama
Fault Tolerance Technology for Autonomous Decentralized Database Systems / C. Leguizamo ; D. Wang ; K. Mori
The Design and Implementation of a JCA-Compliant Capture Protection Infrastructure / M. Reiter ; A. Samar
Distributed Programming for Dummies: A Shifting Transformation Technique / C. Delporte-Gallet ; H. Fauconnier ; R. Guerraoui ; B. Pochon
Coping with Failure Models / Session 13：
Randomized Asynchronous Consensus with Imperfect Communications / U. Schmid ; C. Fetzer
Sharing Memory with Semi-Byzantine Clients and Faulty Storage Servers / H. Attiya ; A. Bar-Or
Modeling and Detecting Failures in Next-Generation Distributed Multimedia Applications / D. Cotroneo ; C. di Flora ; G. Paolillo ; S. Russo
Author Index
General Chair's Message
Program Co-Chairs' Message
Keynote Address / Session 1：
7.

図書
図書
7. Proceedings, the Ninth International Symposium on High-Performance Distributed Computing, August 1-4, 2000, Pittsburgh, Pennsylvania, USA (:case)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing, University of Arizona ECE Dept.
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2000  xi, 316 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Program Committee
Introduction / Ian Foster ; General Chair ; Peter Steenkiste ; Program Chair
QoS and Adaptivity
QoS and Contention-Aware Multi-Resource Reservation / D. Xu ; K. Nahrstedt ; A. Viswanathan ; D. Wichadakul
Automatic Configuration and Run-time Adaptation of Distributed Applications / F. Chang ; V. Karamcheti
A Distributed Multi-Storage Resource Architecture and I/O Performance Prediction for Scientific Computing / X. Shen ; A. Choudhary
Software Environments
Uintah: A Massively Parallel Problem Solving Environment / J. de St. Germain ; S. Parker ; J. McCorquodale ; C. Johnson
An Enabling Framework for Master-Worker Applications on the Computational Grid / J. Goux ; S. Kulkarni ; J. Linderoth ; M. Yoder
A Component based Services Architecture for Building Distributed Applications / R. Bramley ; K. Chiu ; S. Diwan ; D. Gannon ; M. Govindaraju ; N. Mukhi ; B. Temko ; M. Yechuri
Cluster Computing
Evaluating Cluster-based Network Servers / R. Bianchini ; E. Carrera
Incorporating Job Migration and Network RAM to Share Cluster Memory Resources / L. Xiao ; X. Zhang ; S. Kubricht
Bypass: A Tool for Building Split Execution Systems / D. Thain ; M. Livny
Using Idle Workstations to Implement Predictive Prefetching / J. Wang ; J. Ong ; Y. Coady ; M. Feeley
Grid Services
A Monitoring Sensor Management System for Grid Environments / B. Tierney ; B. Crowley ; D. Gunter ; M. Holding ; J. Lee ; M. Thompson
Robust Resource Management for Metacomputers / J. Gehring ; A. Streit
Event Services for High Performance Computing / G. Eisenhauer ; F. Bustamante ; K. Schwan
Performance Evaluation of a Firewall-Compliant Globus-based Wide-Area Cluster System / Y. Tanaka ; M. Hirano ; M. Sato ; H. Nakada ; S. Sekiguchi
Networking
Speculative Defragmentation--A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet / C. Kurmann ; M. Muller ; F. Rauch ; T. Stricker
High Performance Communication using a Commodity Network for Cluster Systems / S. Sumimoto ; H. Tezuka ; A. Hori ; H. Harada ; T. Takahashi ; Y. Ishikawa
Synchronizing Network Probes to Avoid Measurement Intrusiveness with the Network Weather Service / R. Wolski ; B. Gaidioz ; B. Tourancheau
Storage Management
Failure-Atomic File Access in an Interposed Network Storage System / D. Anderson ; J. Chase
Grid-based File Access: The Legion I/O Model / B. White ; A. Grimshaw ; A. Nguyen-Tuong
Flexible High-Performance Access to Distributed Storage Resources / C. Patten ; K. Hawick
Case Studies: Systems
An Evaluation of Alternative Designs for a Grid Information Service / W. Smith ; A. Waheed ; D. Meyers ; J. Yan
Constructing the ASCI Computational Grid / J. Beiriger ; W. Johnson ; H. Bivens ; S. Humphreys ; R. Rhea
2K: A Distributed Operating System for Dynamic Heterogeneous Environments / F. Kon ; R. Campbell ; M. Mickunas ; F. Ballesteros
Scheduling
Evaluation of Task Assignment Policies for Supercomputing Servers: The Case for Load Unbalancing and Fairness / B. Schroeder ; M. Harchol-Balter
A Comparative Evaluation of Implicit Coscheduling Strategies for Networks of Workstations / C. Anglano
Application Placement using Performance Surfaces / A. Turgeon ; Q. Snell ; M. Clement
Case Studies: Applications
CAVEStudy: An Infrastructure for Computational Steering in Virtual Reality Environments / L. Renambot ; H. Bal ; D. Germans ; H. Spoelder
Parallel Matching and Sorting with TACO's Distributed Collections--A Case Study from Molecular Biology Research / J. Nolte ; P. Horton
The Cactus Code: A Problem Solving Environment for the Grid / G. Allen ; W. Benger ; T. Goodale ; H. Hege ; G. Lanfermann ; A. Merzky ; T. Radke ; E. Seidel ; J. Shalf
High-Performance Storage
dQUOB: Managing Large Data Flows using Dynamic Embedded Queries / B. Plale
Creating Large Scale Database Servers / J. Becla ; A. Hanushevsky
RAID-x: A New Distributed Disk Array for I/O-Centric Cluster Computing / K. Hwang ; H. Jin ; R. Ho
Poster Session
Distributed Processor Allocation in Large PC Clusters / H. Heiss ; C. De Rose ; P. Navaux
Resource Management through Multilateral Matchmaking / R. Raman ; M. Solomon
Data Mining on NASA's Information Power Grid / T. Hinke ; J. Novotny
Probe--A Distributed Storage Testbed / R. Burris ; M. Gleicher ; H. Holmes ; D. Million ; S. White
A Local Area System Network RHiNET-1: A Network for High Performance Parallel Computing / H. Nishi ; K. Tasho ; J. Yamamoto ; T. Kudoh ; H. Amano
Managing Network Resources in Condor / J. Basney
The Modeler's Workbench: A System for Dynamically Distributed Simulation and Data Collection / D. Andresen ; R. Novotny
Prophesy: An Infrastructure for Analyzing and Modeling the Performance of Parallel and Distributed Applications / X. Wu ; V. Taylor ; J. Geisler ; X. Li ; Z. Lan ; R. Stevens ; M. Hereld ; I. Judson
An Object Infrastructure for Computational Steering of Distributed Simulations / R. Muralidhar ; M. Parashar
Interfacing Wide-Area Network Computing and Cluster Management Software: Condor, DQS and PBS via PUNCH / S. Adabala ; N. Kapadia ; J. Fortes
Development of Web Toolkits for Computational Science Portals: The NPACI HotPage / M. Thomas ; S. Mock ; J. Boisseau
Distributed Data Access in the Sequential Access Model in the D0 Experiment at Fermilab / I. Terekhov ; V. White
Coupling of Industrial Simulation Codes using CORBA / S. Gouache ; T. Priol
Index of Authors
Message from the General Chair
Message from the Program Chair
Program Committee
8.

図書
図書
8. Proceedings 21st International Conference on Distributed Computing Systems, 16-19 April 2001, Mesa, Arizona (: case)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xxiv, 749 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Conference Chairs
Organizing Committee
Program Committee
Reviewers
Distributed Algorithms / 1：
On Detecting Global Predicates in Distributed Computations / N. Mittal ; V. Garg
Backoff Protocols for Distributed Mutual Exclusion and Ordering / G. Chockler ; D. Malkhi ; M. Reiter
Applications of Probabilistic Quorums to Iterative Algorithms / H. Lee ; J. Welch
Distributed Operating Systems / 2：
MVSS: Multi-view Storage System / X. Ma ; A. Reddy
Selective Checkpointing and Rollbacks in Multithreaded Distributed Systems / M. Kasbekar ; C. Das
Efficient Generalized Deadlock Detection and Resolution in Distributed Systems / S. Lee
Distributed Agent Systems / 3：
A Framework for Modeling Agent-Oriented Software / H. Xu ; S. Shatz
Cost Effective Mobile Agent Planning for Distributed Information Retrieval / J.-W. Baek ; J.-H. Yeo ; G.-T. Kim ; H.-Y. Yeom
Mobile Transactional Agents / R. Sher ; Y. Aridor ; O. Etzion
Stabilization Problems / 4：
Tight Space Self-Stabilizing Uniform l-Mutual Exclusion / M. Gradinariu ; S. Tixeuil
Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks / A. Cournier ; A. Datta ; F. Petit ; V. Villain
Unifying Stabilization and Termination in Message-Passing Systems / A. Arora ; M. Nesterenko
Load Sharing and Migration Methods / 5：
Dynamic Load Sharing with Unknown Memory Demands in Clusters / S. Chen ; L. Xiao ; X. Zhang
Dynamic Migration Algorithms for Distributed Object Systems / V. Kalogeraki ; P. Melliar-Smith ; L. Moser
The Home Model and Competitive Algorithms for Load Balancing in a Computing Cluster / R. Lavi ; A. Barak
Applications / 6：
Robust Double Auction Protocol against False-Name Bids / M. Yokoo ; Y. Sakurai ; S. Matsubara
An Analytical Study of Opportunistic Lease Renewal / R. Burns ; R. Rees ; D. Long
Design and Evaluation of Redistribution Strategies for Wide-Area Commodity Distribution / U. Cetintemel ; B. Ozden ; M. Franklin ; A. Silberschatz
Modeling and Simulation / 7：
An Application-Oriented Approach for Distributed System Modeling and Simulation / M. Nikolaidou ; D. Anagnostopoulos
Performance Tuning of Distributed Applications with CoSMoS / C. Steigner ; J. Wilke
Distributed Network Simulations Using the Dynamic Simulation Backplane / G. Riley ; M. Ammar ; R. Fujimoto ; D. Xu ; K. Perumalla
Network Management / 8：
Optimal Hash Routing for Web Proxies / X. Tang ; S. Chanson
Robust TCP Congestion Recovery / H. Wang ; K. Shin
An Application of Parameter Estimation to Route Discovery by On-Demand Routing Protocols / J. Sucec ; I. Marsic
Real-Time Systems / 9：
Multiprocessor Preprocessing Algorithms for Uniprocessor On-Line Scheduling / J. Goossens ; S. Baruah
Endpoint Admission Control: Network Based Approach / B. Choi ; R. Bettati
A Real-Time System for Tele-Surgery / S. Butner ; M. Ghodoussi
Fault-Tolerant Issues I / 10：
Availability Study of Dynamic Voting Algorithms / K. Ingols ; I. Keidar
Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification and Verification / P. Sinha ; N. Suri
Revisiting Hierarchical Quorum Systems / N. Preguica ; J. Martins
Multicast and Anycast / 11：
Anonymous Gossip: Improving Multicast Reliability in Mobile Ad-Hoc Networks / R. Chandra ; V. Ramasubramanian ; K. Birman
Transactions on Partially Replicated Data Based on Reliable and Atomic Multicasts / U. Fritzke, Jr. ; P. Ingels
Distributed Admission Control for Anycast Flows with QoS Requirements / D. Xuan ; W. Jia
Distributed Programming Model / 12：
MAGE: A Distributed Programming Model / E. Barr ; R. Pandey ; M. Haungs
A Multi-threading Model for Distributed Mobile Objects and Its Realization in FarGo / M. Abu ; I. Ben-Shaul
On Slicing a Distributed Computation
Fault-Tolerant Issues II / 13：
Optimistic Active Replication / P. Felber ; A. Schiper
On the Minimal Characterization of the Rollback-Dependency Trackability Property / I. Garcia ; L. Buzato
Enforcing Perfect Failure Detection / C. Fetzer
Object Oriented Systems / 14：
A Fully Automated Object Extraction System for the World Wide Web / D. Buttler ; L. Liu ; C. Pu
Maintaining Mutual Consistency for Cached Web Objects / B. Urgaonkar ; A. Ninan ; M. Raunak ; P. Shenoy ; K. Ramamritham
Object Distribution with Local Information / B. Silaghi ; P. Keleher
Security Issues / 15：
Generalized Role-Based Access Control / M. Moyer ; M. Ahamad
Exploring Robustness in Group Key Agreement / Y. Amir ; Y. Kim ; C. Nita-Rotaru ; J. Schultz ; J. Stanton ; G. Tsudik
RAD: A Compile-Time Solution to Buffer Overflow Attacks / T.-C. Chiueh ; F.-H. Hsu
Distributed Databases / 16：
On-Line Realignment of Clients in Networked Databases / J.-H. Park ; A. Delis
Combining Generality and Practicality in a Conit-Based Continuous Consistency Model for Wide-Area Replication / H. Yu ; A. Vahdat
Distributed Query Processing in the Internet: Exploring Relation Replication and Network Characteristics / C.-H. Lee ; M.-S. Chen
Distributed Operating Systems II / 17：
Fast Reconciliations in Fluid Replication / L. Cox ; B. Noble
Random, Ephemeral Transaction Identifiers in Dynamic Sensor Networks / J. Elson ; D. Estrin
Adaptive Parameter Collection in Dynamic Distributed Environments / Z. Fu ; N. Venkatasubramanian
Mobile Computing and Communication / 18：
Adaptive Approaches to Relieving Broadcast Storms in a Wireless Multihop Mobile Ad Hoc Network / Y.-C. Tseng ; S.-Y. Ni ; E.-Y. Shih
Adaptive Beacon Placement / N. Bulusu ; J. Heidemann
A Transparent Network Handover for Nomadic CORBA Users / R. Ruggaber ; J. Seitz
Mobility Theory and Practice / 19：
Support for Speculative Update Propagation and Mobility in Deno
A Traveling Salesman Mobility Model and Its Location Tracking in PCS Networks / M.-H. Yang ; L.-W. Chen ; J.-P. Sheu
Lime: A Middleware for Physical and Logical Mobility / A. Murphy ; G. Picco ; G.-C. Roman
Network Protocols / 20：
OSU-MAC: A New, Real-Time Medium Access Control Protocol for Wireless WANs with Asymmetric Wireless Links / C. Liu ; Y. Ge ; M. Fitz ; J. Hou ; W.-P. Chen ; R. Jain
A Heuristic for Dynamic Bandwidth Allocation with Preemption and Degradation for Prioritized Requests / P. Dharwadkar ; H. Siegel ; E. Chong
A General Resource Allocation Synchronization Problem / P. Keane ; M. Moir
Distributed Software Engineering / 21：
Modeling and Analyzing Real-Time CORBA and Supervision and Control Framework and Applications / F. Marotta ; A. Morzenti ; D. Mandrioli
JR: Flexible Distributed Programming in an Extended Java / A. Keen ; T. Ge ; J. Maris ; R. Olsson
A Hierarchical Cluster Algorithm for Dynamic, Centralized Timestamps / P. Ward ; D. Taylor
Resource Management / 22：
Developing and Refining an Adaptive Token-Passing Strategy / B. Englert ; L. Rudolph ; A. Shvartsman
Shared State Consistency for Time-Sensitive Distributed Applications / V. Krishnaswamy ; M. Raynal ; D. Bakken
Differentiated Caching Services; A Control-Theoretical Approach / Y. Lu ; A. Saxena ; T. Abdelzaher
Middleware / 23：
Comparing and Contrasting Adaptive Middleware Support in Wide-Area and Embedded Distributed Object Applications / J. Loyall ; R. Schantz ; J. Zinky ; P. Pal ; R. Shapiro ; C. Rodrigues ; M. Atighetchi ; D. Karr ; J. Gossett ; C. Gill
Constructing Adaptive Software in Distributed Systems / W.-K. Chen ; M. Hiltunen ; R. Schlichting
Design and Implementation of a Composable Reflective Middleware Framework / M. Deshpande ; S. Mohapatra ; S. Gutierrez-Nolasco ; J. Wickramasuriya
Internet Technology / 24：
A Dynamic Heuristic Broadcasting Protocol for Video-on-Demand / S. Carter ; J.-F. Paris ; S. Mohan
The Effects of Inter-packet Spacing on the Delivery of Multimedia Content / A. Kapadia ; A. Feng ; W.-C. Feng
Performance Analysis of the General Packet Radio Service / C. Lindemann ; A. Thummler
Posters
Dynamic Database Management for PCS Networks / J. Li ; Y. Pan
Placement of Read-Write Web Proxies in the Internet / X. Jia ; D. Li ; X. Hu ; D.-Z. Du
Token Based Group Mutual Exclusion for Asynchronous Rings / S. Cantarell
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems / A. Girault ; C. Lavarenne ; M. Sighireanu ; Y. Sorel
Interagent Communication and Synchronization in DaAgent / S. Mishra ; P. Xie
A Lattice Based Framework of Shared Memory Consistency Models / R. Steinke ; G. Nutt
Appia: A Flexible Protocol Kernel Supporting Multiple Coordinated Channels / H. Miranda ; A. Pinto ; L. Rodrigues
Adaptive Protocols for Agent Migration / I. Satoh
A Protocol Design of Communication State Transfer for Distributed Computing / K. Chanchio ; X.-H. Sun
Pushing the Limits of Multicast in Ad Hoc Networks / K. Obraczka ; K. Viswanath
Maximizing Speedup through Performance Prediction for Distributed Shared Memory Systems / Y.-C. Zhuang ; C.-K. Shieh ; T.-Y. Liang ; C.-H. Chou
An Exercise in Proving Self-Stabilization through Ljapunov Functions / O. Theel
Towards Communication-Sensitive Load Balancing / J. Cruz ; K. Park
A Command and Control Support System Using CORBA / J. Rodrigues Nt. ; V. Ulm de G. Lima ; G. Lima ; M. Ferreira ; J. Alves de Almeida ; S. de Oliveira e Cruz ; R. Cerqueira ; C. Martins
Open Metadata Formats: Efficient XML-Based Communication for Heterogeneous Distributed Systems / P. Widener ; K. Schwan ; G. Eisenhauer
A Secure Access Control Mechanism against Internet Crackers / K. Kourai ; S. Chiba
Author Index
Message from the Conference Chairs
Organizing Committee
Program Committee
9.

図書
図書
9. Proceedings : Eighth International Conference on Parallel and Distributed Systems, ICPADS 2001 : Kyongju City, Korea, 26-29 June 2001
sponsored by Korea Information Science Society ; co-sponcerd by IEEE Computer Society Technical Committee on Parallel Processing, IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xx, 792 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Organizing Committees
Program Committee
Reviewers
Parallel Algorithm I / A1：
Efficient Implementation of Edmonds' Algorithm for Finding Optimum Branchings on Associative Parallel Processors / A. S. Nepomniaschaya
An Optimal Scheduling Algorithm Based on Task Duplication / C.-I. Park ; T.-Y. Choe
Adaptive Parallel Distributive Join Algorithm for Skewed Data / S. M. Chung ; A. Chatterjee
Parallel Skeletons for Tabu Search Method / M. J. Blesa ; L. Hernandez ; F. Xhafa
Distributed Systems I / B1：
A Scalable yet Transparent Infrastructure for Distributed Applications: Core Design of Jasmine ii Framework / K. Leung ; J. Shim ; D. Tcherevik ; A. Vinberg
Replication for a Distributed Multimedia System / G. On ; M. Zink ; M. Liepert ; C. Griwodz ; J. B. Schmitt ; R. Steinmetz
Mobile Computing and Communication I / C1：
Network Membership: A Partition Model for Reliable Mobile Communication / R. Boichat ; L. Duchien
An Efficient Recovery Scheme for Mobile Computing Environments / T. Park ; N. Woo ; H. Y. Yeom
Optimistic Transaction Processing Algorithms in Pure-Push and Adaptive Broadcast Environments / S. S. Kim ; I. Y. Chung ; S. Y. Jung ; C.-S. Hwang
Improving the Performance of Broadcasting in Ad Hoc Wireless Networks / R.-S. Chang ; H.-C. Ting
Parallel Algorithm II / A2：
A Dynamic Grouping Scheduling for Heterogeneous Internet-Centric Metacomputing System / C. Chiang ; C. Lee ; M. Chang
An Efficient Adaptive Broadcast Algorithm for the Mesh Network / A. Y. Al-Dubai ; M. Ould-Khaoua
Optimal Parallel Algorithms for Cut Vertices, Bridges, and Hamiltonian Path in Bounded Interval Tolerance Graphs / G. S. Adhar
Ring Embedding in Faulty (n,k)-Star Graphs / J.-H. Chang ; J. Kim
Concurrency Control / B2：
Optional Instant Locking in Distributed Collaborative Graphics Editing Systems / D. Chen ; C. Sun
Optimization of Nested Invocation on Replicas in Object-Based Systems / K. Tanaka ; M. Takizawa
A Distributed Consistent Global Checkpoint Algorithm for Distributed Mobile Systems / Y. Manabe
Mobile Computing and Communication II / C2：
A Fuzzy Multicast Method Providing Linguistic Guarantee of Disruption Free Service in Mobile Wireless Networks / S.-J. Oh ; Y.-J. Kim ; I.-H. Bae
Mobile IP Network Supporting Private IP Addresses Utilizing Regional Registration and NAT Function / A. Idoue ; H. Yokota ; T. Kato
Seamless Mobile Transaction Processing: Models, Protocols and Software Tools / V. K. Murthy
Parallel Systems I / A3：
Performance of Parallel I/O Scheduling Strategies on a Network of Workstations / F. Chen ; S. Majumdar
Communication-Efficient Bitonic Sort on a Distributed Memory Parallel Computer / Y. C. Kim ; M. Jeon ; D. Kim ; A. Sohn
Accelerating the Continuous Data in a SCI-Based Multimedia System / S. W. Chung ; H.-S. Kim ; C. S. Jhon
Workflow Management System / B3：
Performance and Scalability Analysis on Client-Server Workflow Architecture / K.-H. Kim ; D.-S. Han
A Comprehensive Investigation of Distribution in the Context of Workflow Management / S. Jablonski ; R. Schamburger ; C. Hahn ; S. Horn ; R. Lay ; J. Neeb ; M. Schlundt
Development and Implementation of an Operation Efficiency Management System Using the UPH According to Operation Start Time / H.-Y. Jeong ; J.-H. Kim ; K. Han
A Secure Transaction Environment for Workflows in Distributed Systems / V. I. Wietrzyk ; M. A. Orgun. ; V. Varadharajan
Multicast / C3：
Enhancement of the CBT Multicast Routing Protocol / S. J. Koh ; S. G. Kang
A Push-Based Key Distribution and Rekeying Protocol for Secure Multicasting / F. Sato ; S. Tanaka
SIMMT-II: Implementation of Network Simulator for IP Multicast Using Multiple MCSs on the ATM Networks / T. Byun
An Efficient Multicast Routing Protocol for Mobile Hosts / M. Choi ; B.-W. On ; H. Baik ; M.-S. Park
Parallel System II / A4：
A Scheduling Mechanism for Lock-Free Operation of a Lightweight Process Library for SMP Computers / H. Oguma ; Y. Nakayama
A Reliable Processor-Allocation Strategy for Mesh-Connected Parallel Systems / K.-H. Seo ; S.-C. Kim
Optimal Data Reduction on Reconfigurable Tori / J. Zhou ; F. C. M. Lau
Parallel Language/Programming/Compiler / B4：
Geometric Scheduling of 2-D Uniform Dependence Loops / I. Drositis ; T. Andronikos ; A. Kokorogiannis ; G. Papakonstantinou ; N. Koziris
Parallel Loop Transformation Technique for Efficient Race Detection / J.-S. Kim ; C.-S. Yu
Improving Workload Balance and Code Optimization in Processor-in-Memory Systems / S.-L. Chu ; T.-C. Huang ; L.-C. Lee
Dynamic Load-Balancing in a Data Parallel Object-Oriented System / W. Jie ; W. Cai ; S. J. Turner
Caching and Location Management / C4：
An Efficient Cache Invalidation Scheme for Mobile Wireless Environments / S. Nam ; I. Chung
A Distributed Location Management Scheme for Mobile Hosts / R. Shankaran ; M. Hitchens
AMRB: Toward Location and Migration Transparency of Services / N. Harashima ; T. Okoshi ; J. Nakazawa ; Y. Tobe ; H. Tokuda
Fault Tolerant Systems / A5：
Fault-Tolerant Routing and Disjoint Paths in Dual-Cube: A New Interconnection Network / Y. Li ; S. Peng
Multiphase Minimal Fault-Tolerant Wormhole Routing in 2D Meshes
An Extended Fault-Tolerant Link-State Routing Protocol in the Internet / J. Wu ; X. Lin ; J. Cao ; W. Jia
Parallel Routing in Hypercube Networks with Faulty Nodes / E. Oh ; J. Chen
Fault Diameter and Fault Tolerance of HCN(n,n) / H.-O. Lee ; J.-H. Hur ; H.-C. Chung ; C.-H. Cho
Distributed Systems II / B5：
Causal Precedent Relations among Messages in Object-Based Systems / Y. Timura
Information Flow Control in Role-Based Model for Distributed Objects / K. Izaki
CORBA Wrapping of Legacy Scientific Applications Using Remote Variable Scheme / J. Sang ; G. Follen ; C. Kim ; I. Lopez ; S. Townsend
Optimisation of the Performance of Neural Network Based Pattern Recognition Classifiers with Distributed Systems / I. Turkoglu ; A. Arslan
Theoretical Issue of Networks / C5：
RSA-Based Partially Blind Signature with Low Computation / H.-Y. Chien ; J.-K. Jan ; Y.-M. Tseng
Avoiding Faulty Privileges in Self-Stabilizing Depth-First Token Passing / J. Kiniwa
Path Selection Algorithms for Real-Time Communication / Y. Lee ; S. Lee
Evaluation of Emerging High Speed Networks on Brazos Software DSM System / A. M. Matsunaga ; M. O. Tsugawa ; S. T. Kofuji
Parallel Systems III / A6：
An Active Scheduler: Autonomous Concurrency Control of Parallel Programs in a Distributed Environment / S. Fujita ; L. Deng ; S. Tagashira
Parallel and Distributed Mining with Ensemble Self-Generating Neural Networks / H. Inoue ; H. Narihisa
Development of Artificial Life Based Optimization System / Y. Funyu ; K. Kishino ; T. Jinguji ; M. Shiozawa ; S. Yoshikawa ; T. Nakao
Parallel and Distributed Multi-Agent Reinforcement Learning / M. Kaya
Programming Language / B6：
A Distributed Implementation of Structured Gamma / G. A. L. Paillard ; F. M. G. Franca ; J. A. M. Filho
Specializing the Java Object Serialization Using Partial Evaluation for a Faster RMI / J. G. Park ; A. H. Lee
Alias Analysis for Java with Reference-Set Representation / J. Woo ; I. Attali ; D. Caromel ; J.-L. Gaudiot ; A. L. Wendelborn
Jato: A Compact Binary File Format for Java Class / S.-D. Wang ; Y. Lin
SAN / C6：
Design and Implementation of a Fibre Channel Network Driver for SAN-Attached RAID Controllers / J.-C. Namgoong
On the Switch Architecture for Fibre Channel Storage Area Networks / X. Molero ; F. Silla ; V. Santonja ; J. Duato
Metadata Management of the SANtopia File System / Y. K. Lee ; S. W. Kim ; G. B. Kim ; B. J. Shin
Volume Management in SAN Environment / C.-S. Kim ; G.-B. Kim ; B.-J. Shin
Interconnection Networks I / A7：
Analysis of Deterministic Routing in k-Ary n-Cubes with Virtual Channels / H. Sarbazi-Azad ; A. Khonsari
On Some Properties of k-Ary n-Cubes / L. M. Mackenzie ; S. G. Akl
Combinatorial Properties of Hierarchical Cubic Networks / J.-S. Fu ; G.-H. Chen ; D.-R. Duh
Embedding among HCN(n,n), HFN(n,n) and Hypercube / Y.-N. Heo
Multimedia Systems I / B7：
A Cost-Based Admission Control Algorithm for Handling Mixed Workloads in Multimedia Server Systems / I.-R. Chen ; S.-T. Li
Schemes for Utilizing Efficiently Disk Bandwidth and Buffer in Video Server / K. Kim ; S. Park
A Multicast Delivery Scheme for VCR Operations in a Large VOD System / J.-M. Choi ; S.-W. Lee ; K.-D. Chung
A Server Framework for Scheduling Multimedia Applications in Open System Environment / J. S. Jang ; W. H. Ahn ; D. Park
Internet Protocols / C7：
Ethernet Wrapper: Extension of the TCP Wrapper / M. Kwon ; J. Hong ; Y. Cho
Improving the Performance of TCP Vegas in a Heterogeneous Environment / Y.-C. Lai
Tightening of Cell Discarding Method in RED for Improving TCP over ATM Network / W. Park ; B. Rhee
A Fast Table Update Scheme for High-Performance IP Forwarding / P.-C. Wang ; C.-T. Chan ; Y.-C. Chen
Interconnection Networks II / A8：
Multicasts on WDM All-Optical Multistage Interconnection Networks / X. Liu ; Q.-P. Gu
An Alternate Dimension-Order Collective Communication Scheme on Packet-Switched 2D-Mesh Network / M. Ok
Recursive Construction of Hierarchical Fibonacci Cubes and Hierarchical Extended Fibonacci Cubes / A. Karci
Algebraic Expression for Extra Degree Added to Hypercube Interconnection Network in Case of Multiple Edge-Faults
Multimedia Systems II / B8：
QoS-Based Method for Compensating Multimedia Objects / M. Yokoyama
Dynamic Voltage Scaling on MPEG Decoding / D. Son ; C. Yu ; H.-N. Kim
FRD-FPRED: A Novel Re-Decode Based Error Compensation Method Using Fast Re-Decoding and Fast Prediction Algorithm
Selecting an Audio Redundancy Codec Combination for Error Control in Internet Telephony / M.-K. Ji ; S.-H. Lee ; T.-U. Choi ; S.-H. Park ; J.-G. Kang
QOS / C8：
Dynamic Update of Aggregated Routing Information for Hierarchical QoS Routing in ATM Networks / B.-J. Chang ; R.-H. Hwang
QoS Streaming Based on Media Filtering System / C.-M. Huang ; P.-C. Liu ; R.-L. Chang
Unfairness of Measurement-Based Admission Controls in a Heterogeneous Environment / S.-F. Tsai
An Efficient Buffer Control and Packet Scheduling for the Access Point of IP Networks and ATM Network / C.-W. Kim ; J.-A. Han ; H.-G. Lee ; W.-Z. Kim ; B. Kim ; M.-H. Lee ; J.-M. Seok ; J.-H. Lee
Multi Agent Systems / A9：
An Agent-Based Distributed Service Model for Nomadic Users / Z. Wang ; J. Seitz
Collaborative and Secure Resource Management with Distributed Agents / J. Stach ; E. K. Park
I-DOCS: Distributed Agent-Assisted Knowledge Fusion for Disease Gene Discovery / A. B. Williams ; T. A. Krygowski ; T. L. Casavant
A Migration Strategy of Mobile Agent / H. C. Kwon ; J. T. Lee ; H. H. Kim ; K. J. Yoo
BClassifier: A Personal Agent for Bookmark Classification / S.-H. Myoung ; I.-C. Kim
Distributed Database System/Cluster Systems / B9：
The Parallel Processing of Spatial Selection for Very Large Geo-Spatial Databases / K. Tamura ; Y. Nakano ; K. Kaneko ; A. Makinouchi
Cost-Based Transaction Coordinator Algorithm Implemented at Persistent Distributed Shared Virtual Memory / T. Jin
Mapping Strategies for Switch-Based Cluster Systems of Irregular Topology / S. Moh ; H. Y. Youn ; B. Lee ; D. Han
An Efficient Implementation of Virtual Interface Architecture using Adaptive Transfer Mechanism on Myrinet / J.-L. Yu ; M.-S. Lee ; S.-R. Maeng
Multicast-Based Distributed LVS (MD-LVS) for Improving Scalability and Availability / H. Shin
Internet Technology / C9：
A Proxy Server Management Scheme for Continuous Media Objects Based on Object Partitioning / S. C. Park ; Y. W. Park ; Y. E. Son
An Improved Packet Pair Method for Filtering Estimation Noise and Fast Convergence in Measuring Bottleneck Bandwidth / H. Yoo ; J. Jang
Implementing Web Access Control System for the Multiple Web Servers in the Same Domain Using RBAC Concept / W. B. Shim
An Adaptive and Dynamic Timer Design to Maintain Soft State in RSVP / S. Hwang ; B. Yoon
Least Popularity-per-Byte Replacement Algorithm for a Proxy Cache
Author Index
Message from the General Chair
Message from the Program Chair
Organizing Committees
10.

図書
図書
10. Proceedings : the 19th IEEE Symposium on Reliable Distributed Systems, Nürnberg, Germany, October 16-18, 2000 ([: pbk.] ; : case)
sponsored by IEEE Computer Society Technical Committees on Distributed Computing, IEEE Computer Society Technical Committees on Fault Tolerant Computing, FAU, Informatik 3, Erlangen, Germany ; in cooperation with CNUCE-CNR, Pisa, Italy
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2000  xv, 263 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Co-Chairs
Program Committee
Organizing Committee
Referees
DSMGC 2000
WOODS 2000
Keynote / L. Simoncini
Dependability and the Mobile User / M. Morganti
Wireless Networks and Mobile Computing / J. KaiserSession 1：
Proxy-based Recovery for Applications on Wireless Hand-held Devices / B. Yao ; W. Fuchs
Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems / S. Pleisch ; A. Schiper
Improvement of the QoS via an Adaptive and Dynamic Distribution of Applications in a Mobile Environment / F. Andre ; A. Kermarrec ; F. Le Mouel
Reliable Protocols / K. FuchsSession 2：
Reliable Broadcast in the Crash-Recovery Model / R. Boichat ; R. Guerraoui
Optimistic Virtual Synchrony / J. Sussman ; I. Keidar ; K. Marzullo
Optimal Implementation of the Weakest Failure Detector for Solving Consensus / M. Larrea ; A. Fernandez ; S. Arevalo
Semantically Reliable Multicast Protocols / J. Pereira ; L. Rodrigues ; R. Oliveira
What Kind of Dependability do Mobile Computing and Networking Need? / Panel 1：
Panel Abstract
Detection and Diagnosis / F. Di GiandomenicoSession 3：
An Evolutionary Algorithm for Identifying Faults in t-Diagnosable Systems / M. Elhadef ; B. Ayeb
Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure / J. Brzezinski ; M. Sajkowski
Consistent Detection of Global Predicates under a Weak Fault Assumption / F. Gartner ; S. Kloppenburg
Invited Talk
Issues Insufficiently Resolved in Century 20 in the Fault-Tolerant Distributed Computing Field / K. Kim
Real-Time / K. KwiatSession 4：
An Investigation of Membership and Clique Avoidance in TTP/C / G. Bauer ; M. Paulitsch
Continuous Clock Synchronization in Wireless Real-Time Applications / M. Mock ; R. Frings ; E. Nett ; S. Trikaliotis
Fault Tolerance and Replication / G. MullerSession 5：
High Availability of the Memory Hierarchy in a Cluster / C. Morin ; R. Lottiaux
Abstractions for Devising Byzantine-Resilient State Machine Replication / A. Doudou ; B. Garbinato
Implementing a Reflective Fault-Tolerant CORBA System / M. Killijian ; J. Fabre
Deterministic Scheduling for Transactional Multithreaded Replicas / R. Jimenez-Peris ; M. Patino-Martinez
Databases and Transactions / M. MalekSession 6：
Pronto: A Fast Failover Protocol for Off-the-shelf Commercial Databases / F. Pedone ; S. Frolund
A Pragmatic Implementation of e-Transactions
Using Multicast Communication to Reduce Deadlock in Replicated Databases / J. Holliday ; D. Agrawal ; A. El Abbadi
Database Replication Techniques: A Three Parameter Classification / M. Wiesmann ; B. Kemme ; G. Alonso
Dependability Evaluation / A. van MoorselSession 7：
Performance of Mobile, Single-Object, Replication Protocols / U. Cetintemel ; P. Keleher
On the Use of Model Checking Techniques for Dependability Evaluation / B. Haverkort ; H. Hermanns ; J. Katoen
Performance Analysis of the CORBA Event Service using Stochastic Reward Nets / S. Ramani ; K. Trivedi ; B. Dasarathy
Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector / R. Chandra ; M. Cukier ; R. Lefever ; W. Sanders
Composability of Reliable Services / Panel 2：
Integrating Fault Tolerance and Security in Distributed Information Systems / Panel 3：
Index of Authors
Message from the General Chair
Message from the Co-Chairs
Program Committee
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼