close
1.

図書

図書
sponsored by ACM Special Interest Group on Algorithms and Computational Theory and ACM Special Interest Group on Operating Systems
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  ix, 298 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
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
3.

図書

図書
Dahlia Malkhi (ed.)
出版情報: Berlin : Springer, c2002  x, 369 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2508
所蔵情報: loading…
4.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation (TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation (SCS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  x, 173 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chairs
Message from the Program Co-Chairs
Committees
Reviewers
Conservative Simulation / Session 1:
Conservative Simulation Using Distributed-Shared Memory / Y. Teo ; Y. Ng ; B. Onggo
The Lookahead in a User-Transparent Conservative Parallel Simulator / V. Solcany ; J. Safarik
Addressing Blocking and Scalability in Critical Channel Traversing / R. Simmonds ; C. Kiddle ; B. Unger
Optimistic Simulation I / Session 2:
XSim: Real-Time Analytic Parallel Simulations / C. Carothers
Pal: A New Fossil Collector for Time Warp / V.-Y. Vee ; W.-J. Hsu
Early Cancellation: An Active NIC Optimization for Time-Warp / R. Noronha ; N. Abu-Ghazaleh
Virtual Environments and Hla / Session 3:
Critical Causality in Distributed Virtual Environments / S. Zhou ; W. Cai ; S. Turner ; F. Lee
A Scalable Architecture for Supporting Interactive Games on the Internet / P. Xavier ; B.-S. Lee
Evaluation of a Sort-Based Matching Algorithm for DDM / Y. Jun ; C. Raczy ; G. Tan
Network Simulation / Session 4:
Lookahead Revisited in Wireless Network Simulations / J. Liu ; D. Nicol
Genesis: A System for Large-Scale Parallel Network Simulation / B. Szymanski ; A. Saifee ; A. Sastry ; Y. Liu ; K. Madnani
Experiences Applying Parallel and Interoperable Network Simulation Techniques in On-Line Simulations of Military Networks / K. Perumalla ; R. Fujimoto ; T. McLean ; G. Riley
Miscellaneous I / Session 5:
Updateable Simulation of Communication Networks / S. Ferenci ; M. Ammar
Analysis of Composite Synchronization
Stone Axes and Warhammers: A Decade of Distributed Simulation in Aviation Research / F. Sogandares
Optimistic Simulation II / Session 6:
Software Control Systems for Parallel Simulation / R. Radhakrishnan ; P. Wilsey
Conditional Checkpoint Abort: An Alternative Semantic for Re-synchronization in CCL / F. Quaglia ; A. Santoro ; B. Ciciani
Miscellaneous II / Session 7:
Lookback: A New Way of Exploiting Parallelism in Discrete Event Simulation / G. Chen
Experiment Scheduling in Faster-than-Real-Time Simulation / D. Anagnostopoulos
Author Index
Message from the General Chairs
Message from the Program Co-Chairs
Committees
5.

図書

図書
Farhad Arbab, Carolyn Talcott (eds.)
出版情報: Berlin : Springer, c2002  xi, 406 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2315
所蔵情報: loading…
6.

図書

図書
sponsored by ACM Special Interest Group on Algorithms and Computation Theory and ACM Special Interest Group on Operating Systems
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  xii, 325 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
editor, M.H. Hamza ; [sponsors, the International Association of Science and Technology for Development (IASTED), Technical Committee on Modelling and Simulation, World Modelling and Simulation Forum]
出版情報: Anaheim, Calif. : IASTED/ACTA Press, c2001  iv, 347 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
Rachid Guerraoui (ed.)
出版情報: Berlin : Springer, c2001  xiii, 394 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2218
所蔵情報: loading…
目次情報: 続きを見る
Java
Automated Analysis of Java Message Service Providers / Dean Kuo ; Doug Palmer
Efficient Object Caching for Distributed Java RMI Applications / John Eberhard ; Anand Tripathi
Entity Bean A, B, CÆs: Enterprise Java Beans Commit Options and Caching / Paul Brebner ; Shuping Ran
Mobility
A WAP-Based Session Layer Supporting Distributed Applications in Nomadic Environments / Timm Reinstorf ; Rainer Ruggaber ; Jochen Seitz ; Martina Zitterbart
Middleware for Reactive Components: An Integrated Use of Context, Roles, and Event Based Coordination / Andry Rakotonirainy ; Jaga Indulska ; Seng Wai Loke ; Arkady Zaslavsky
Experiments in Composing Proxy Audio Services for Mobile Users / Philip K. McKinley ; Udiyan I. Padmanabhan ; Nandagopal Ancha
Distributed Abstractions
Thread Transparency in Information Flow Middleware / Rainer Koster ; Andrew P. Black ; Jie Huang ; Jonathan Walpole ; Calton Pu
Abstracting Services in a Heterogeneous Environment / Salah Sadou ; Gautier Koscielny ; Hafedh Mili
An Efficient Component Model for the Construction of Adaptive Middleware / Michael Clarke ; Gordon S. Blair ; Geoff Coulson ; Nikos Parlavantzas
Reliability
Rule-Based Transactional Object Migration over a Reflective Middleware / Damián Arregui ; Francois Pacull ; Jutta Willamowski
The CORBA Activity Service Frameworkfor Supporting
Extended Transactions / Iain Houston ; Mark C. Little ; Ian Robinson ; Santosh K. Shrivastava ; Stuart M. Wheater
Failure Mode Analysis of CORBA Service Implementations / Eric Marsden ; Jean-Charles Fabre
Home & Office
ROOM-BRIDGE: Vertically Configurable NetworkArchitecture and Real-Time Middleware for Interoperability between Ubiquitous
Consumer Devices in the Home / Soon Ju Kang ; Jun Ho Park ; Sung Ho Park
Reducing the Energy Usage of Office Applications / Jason Flinn ; Eyal de Lara ; Mahadev Satyanarayanan ; Dan S. Wallach ; Willy Zwaenepoel
System Software for Audio and Visual Networked Home Appliances on Commodity Operating Systems / Tatsuo Nakajima
Scalability
Access Control and Trust in the Use of Widely Distributed Services / Jean Bacon ; Ken Moody ; Walt Yao
Preserving Causality in a Scalable Message-Oriented Middleware / Philippe Laumay ; Eric Bruneton ; Noël De Palma ; Sacha Krakowiak
Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems / Antony Rowstron ; Peter Druschel
Quality of Service
Providing QoS Customization in Distributed Object Systems / Jun He ; Matti A. Hiltunen ; Mohan Rajagopalan ; Richard D. Schlichting
2KQ=: An Integrated Approach of QoS Compilation and Reconfigurable, Component-Based Run-Time Middleware for the Unified QoS Management Framework / Duangdao Wichadakul ; Klara Nahrstedt ; Xiaohui Gu ; Dongyan Xu
Author Index
Java
Automated Analysis of Java Message Service Providers / Dean Kuo ; Doug Palmer
Efficient Object Caching for Distributed Java RMI Applications / John Eberhard ; Anand Tripathi
9.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  x, 232 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2001  xv, 267 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Chair
Message from the Program Chair
Conference Committee
Referees
Reliable and Secure Applications in Mobile Environments / Workshop 1:
Reliability in Embedded Systems / Workshop 2:
Keynote Lecture / Dr. Ambuj Goyal
Replication / Session 1:
Optimizing File Availability in a Secure Serverless Distributed File System / J. Douceur ; R. Wattenhofer
Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation / R. Oliveira ; J. Pereira ; A. Schiper
How to Select a Replication Protocol According to Scalability, Availability, and Communication Overhead / R. Jimenez-Peris ; M. Patino-Martinez ; B. Kemme ; G. Alonso
Recovery / Session 2:
Quantifying Rollback Propagation in Distributed Checkpointing / A. Agbaria ; H. Attiya ; R. Friedman ; R. Vitenberg
Continental Pronto / S. Frolund ; F. Pedone
Compiler-Assisted Heterogeneous Checkpointing / F. Karablieh ; R. Bazzi ; M. Hicks
Reliability and Security in Distributed and Mobile Systems / Panel 1:
Applying Fault-Tolerance Principles to Security Research / A. Bhargava ; B. Bhargava
The Challenge of Creating Productive Collaborating Information Assurance Communities via Internet Research and Standards / J. Betser
Can Reliability and Security be Joined Reliably and Securely? / K. Kwiat
Incorporation of Security and Fault Tolerance Mechanisms into Real-Time Component-Based Distributed Computing Systems / K. Kim
Research in High-Confidence Distributed Information Systems / M. Singhal
Security / Session 3:
Detecting Heap Smashing Attacks through Fault Containment Wrappers / C. Fetzer ; Z. Xiao
Efficient Update Diffusion in Byzantine Environments / D. Malkhi ; O. Rodeh ; M. Reiter ; Y. Sella
An Analytical Framework for Reasoning about Intrusions / S. Upadhyaya ; R. Chinchani
Agreement Protocols / Session 4:
Optimistic Validation of Electronic Tickets
A Consensus Protocol Based on a Weak Failure Detector and a Sliding Round Window / M. Hurfin ; R. Macedo ; A. Mostefaoui ; M. Raynal
Polynomial Time Synthesis of Byzantine Agreement / S. Kulkarni ; A. Arora ; A. Chippada
Application Level Fault Tolerance / Session 5:
Looking Ahead in Atomic Actions with Exception Handling / A. Romanovsky
Assessing Inter-Modular Error Propagation in Distributed Software / A. Jhumka ; M. Hiller ; N. Suri
Designing a Robust Namespace for Distributed File Services / Z. Zhang ; C. Karamanolis
Building Reliable Systems from COTS Components / Panel 2:
High-Quality Customizable Embedded Software from COTS Components / F. Bastani
Application of Commercial-Grade Digital Equipment in Nuclear Power Plant Safety Systems / M. Chiramal
Why Is It So Hard to Predict Software System Trustworthiness from Software Component Trustworthiness? / J. Voas
Concise Contributions / Session 6:
Message Logging Optimization for Wireless Networks / B. Yao ; W. Fuchs
Reducing Noise in Gossip-Based Reliable Broadcast / P. Kouznetsov ; R. Guerraoui ; S. Handurukande ; A. Kermarrec
Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be? / P. Urban ; X. Defago
Consensus with Written Messages Under Link Faults / B. Weiss ; U. Schmid
Efficient TDMA Synchronization for Distributed Embedded Systems / V. Claesson ; H. Lonn
Efficient Recovery Information Management Schemes for the Fault Tolerant Mobile Computing Systems / T. Park ; N. Woo ; H. Yeom
QoS and Real-Time Systems / Session 7:
Using the Timely Computing Base for Dependable QoS Adaptation / A. Casimiro ; P. Verissimo
A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems / U. Brinkschulte ; A. Bechina ; F. Picioroaga ; E. Schneider ; T. Ungerer ; J. Kreuzinger ; M. Pfeffer
Performance Analysis of the CORBA Notification Service / S. Ramani ; K. Trivedi ; B. Dasarathy
Mobile Systems / Session 8:
Reliable Real-Time Cooperation of Mobile Autonomous Systems / S. Schemmer ; E. Nett ; M. Mock
On the Effectiveness of a Counter-Based Cache Invalidation Scheme and Its Resiliency to Failures in Mobile Environments / G. Cao ; C. Das
Comparison-Based System-Level Fault Diagnosis in Ad Hoc Networks / S. Chessa ; P. Santi
Author Index
Message from the Symposium Chair
Message from the Program Chair
Conference Committee
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼