close
1.

図書
図書
1. Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, October 19-22, 1999, Swiss Federal Institute of Technology (EPF), Lausanne, Switzerland (: soft. ; : case.)
sponsored by IEEE Computer Society Technical Committees on Distributed Processing, LSE-Operating Systems Lab., EPF Lausanne, Switzerland
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c1999  xii, 402 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Chair
Message from the Program Co-Chairs
Conference Committee
Referees
Reliability of Future Telephone Networks / R. Cooper
Mobile Computing / Session 1：
Information Dissemination in Partitionable Mobile Ad Hoc Networks / G. Karumanchi ; S. Muralidharan ; R. Prakash
Group Multicast in Distributed Mobile Systems with Unreliable Wireless Network / G. Anastasi ; A. Bartoli ; F. Spadoni
Improving Level of Service for Mobile Users using Context-Awareness / P. Couderc ; A. Kermarrec
Distributed Algorithms / Session 2：
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization / K. Schossmaier ; B. Weiss
Real-Time Fault-Tolerant Atomic Broadcast / C. Delporte-Gallet ; H. Fauconnier
A General Framework to Solve Agreement Problems / M. Hurfin ; R. Macedo ; M. Raynal ; F. Tronel
Formal Methods / Session 3：
Formal Hazard Analysis of Hybrid Systems in cTLA / P. Herrmann ; H. Krumm
Safecharts for Specifying and Designing Safety Critical Systems / H. Dammag ; N. Nissanke
Replication Techniques / Session 4：
Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive / A. Deplanche ; P. Theaudiere ; Y. Trinquet
View Divergence Control of Replicated Data using Update Delay Estimation / T. Yamashita ; S. Ono
Highly Available Process Support Systems: Implementing Backup Mechanisms / C. Hagen ; G. Alonso
Scalability / Session 5：
Scalable Stability Detection using Logical Hypercube / R. Friedman ; S. Manor ; K. Guo
On Diffusing Updates in a Byzantine Environment / D. Malkhi ; Y. Mansour ; M. Reiter
Fault-Tolerant Replication Management in Large-Scale Distributed Storage Systems / R. Golding ; E. Borowsky
Failure Analysis / Session 6：
A Component-based Approach to Reliability Analysis of Distributed Systems / S. Yacoub ; B. Cukic ; H. Ammar
Fault Injection based on a Partial View of the Global State of a Distributed System / M. Cukier ; R. Chandra ; D. Henke ; J. Pistole ; W. Sanders
Failure Data Analysis of a LAN of Windows NT based Computers / M. Kalyanakrishnam ; Z. Kalbarczyk ; R. Iyer
System Support / Session 7：
HAMFS File System / Y. Shinkai ; Y. Tsuchiya ; T. Murakami ; J. Williams
Logging and Recovery in Adaptive Software Distributed Shared Memory Systems / A. Kongmunvattana ; N. Tzeng
Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems / N. Kandasamy ; J. Hayes ; B. Murray
Logging and Checkpointing / Session 8：
Issues in the Design of a Reflective Library for Checkpointing C++ Objects / M. Kasbekar ; C. Das ; S. Yajnik ; R. Klemm ; Y. Huang
Optimistic Recovery in Multi-threaded Distributed Systems / O. Damani ; A. Tarafdar ; V. Garg
An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging / K. Ssu ; B. Yao ; K. Fuchs
Corba / Session 9：
CosNamingFT--A Fault-Tolerant CORBA Naming Service / L. Lung ; J. da Silva Fraga ; J. Farines ; M. Ogg ; A. Ricciardi
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications / P. Narasimhan ; L. Moser ; P. Melliar-Smith
The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA / A. van Moorsel
Work in Progress (Fast Abstracts)
Resolving Distributed Deadlocks in the OR Request Model / J. Villadangos ; F. Farina ; J. Gonzalez de Mendivil ; J. Garitagoitia ; J. Bernabeu-Auban ; G. Vossen
An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels / E. Gendelman ; L. Bic ; M. Dillencourt
An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems / P. Chevochot ; I. Puaut
An Agent Platform for Reliable Asynchronous Distributed Programming / L. Bellissard ; N. De Palma ; A. Freyssinet ; M. Herrmann ; S. Lacourte
Exactly-Once End-to-End Semantics in CORBA Invocations across Heterogenous Fault-Tolerant ORBs / A. Vaysburd
A Distributed Algorithm for Deadlock Detection under OR-request Model / S. Lee ; Y. Lee
Design and Validation of a Distributed Industrial Control System's Nodes / J. Campelo ; F. Rodriguez ; P. Gil ; J. Serrano
Performance Evaluation of the Circulating Multisequencer and the Consensus Algorithms in a Real-Time Distributed Transactional System / L. Saidane ; F. Kamoun
Database Replication: If You Must be Lazy, be Consistent / J. Holliday ; D. Agrawal ; A. El Abbadi
A Software Multilevel Fault Injection Mechanism: Case Study Evaluating the Virtual Interface Architecture / T. Liu
Workshop on Reliable Middleware (Wremi)
Foreword
The Mainframe as a High-Available, Highly Scalable CORBA Platform / W. Froidevaux ; S. Murer ; M. Prater
A Method for Combining Replication with Caching / M. Little ; S. Shrivastava
Fault Tolerance in Three-Tier Applications: Focusing on the Database Tier
Workshop on Electronic Commerce (Welcom)
XML Documents Production for an Electronic Platform of Requests for Proposals / F. Bapst ; C. Vanoirbeek
Service Provision and Composition in Virtual Business Communities / A. Marton ; G. Piccinelli ; C. Turfin
Quality of Service in Business-to-Business E-Commerce Applications / U. Fiedler ; B. Plattner
A Practical Guideline to the Implementation of Online Shops / A. Bartelt ; J. Meyer
Approaching a Formal Definition of Fairness in Electronic Commerce / F. Gartner ; H. Pagnia ; H. Vogt
Trust and Electronic Commerce--More than a Technical Problem / K. Konrad ; J. Barthel ; G. Fuchs
Authorization Methods for E-Commerce Applications / R. Oppliger
Gateways to Overcome Incompatibilities of Security Mechanisms / J. Zollner
Security Mechanisms for using Mobile Agents in Electronic Commerce / P. Marques ; L. Silva ; J. Silva
Accountable Anonymous Access to Services in Mobile Communication Systems / L. Buttyan ; J.-P. Hubaux
On the Provision of Replicated Internet Auction Services / F. Panzieri
The Usability Risk / A. Platt
Index of Authors
Message from the Symposium Chair
Message from the Program Co-Chairs
Conference Committee
2.

図書
図書
2. Proceedings : 16th Symposium on Reliable Distributed Systems, October 22-24, 1997, Regal University Hotel, Durham, North Carolina (: soft. ; : case. ; :micro.)
sponsors IEEE Computer Society Technical Committees on Distributed Processing, Fault-Tolerant Computing, and Operating Systems. In Collaboration with Center for Advanced Computing and Communication.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xi, 191 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings : Seventeeth IEEE Symposium on Reliable Distributed Systems, October 20-23, 1998, Purdue University , West Lafayette, Indiana (: soft. ; : case.)
in honor of C.V. Ramamoorthy ; sponsored by IEEE Computer Society Technical Committees on Distributed Processing ; in cooperation with Purdue University, The Ohio State University
出版情報: Los Alamitos, CA : IEEE Computer Society, c1998  xiv, 494 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings : 15th Symposium on Reliable Distributed Systems, October 23-25, 1996, Niagara-on-the Lake, Ontario, Canada (: soft. ; : case.)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing, IEEE Computer Society Technical Committee on Operating Systems, IEEE Computer Society Technical Committee on Fault-Tolerant Computing
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1996  x, 229 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. 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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼