close
1.

図書
図書
1. Distributed interactive simulation systems applications : 18-19 April 1995, Orlando, Florida
John D. Illgen, chair/editor ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c1995  v, 112 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2495
所蔵情報: loading…
2.

図書
図書
2. Java/Jini technologies : 21-22 August 2001, Denver, USA
Sudipto Ghosh, chair/editor ; sponsored ... by SPIE--the International Society for Optical Engineering ; cooperating organization, Colorado Photonics Industry Association
出版情報: Bellingham, Wash., USA : SPIE, c2001  vii, 154 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4521
所蔵情報: loading…
3.

図書
図書
3. Java/Jini technologies and high-performance pervasive computing : 30 July and 1 August 2002, Boston, USA
Ken Arnold, Guang R. Gao, Sudipto Ghosh, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Washington : SPIE, c2002  vii, 148 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4863
所蔵情報: loading…
4.

図書
図書
4. Neural network and distributed processing : 22-23 October 2001, Wuhan, China
Xubang Shen, Jianguo Liu, chairs/editors ; sponsored by SPIE--the International Society for Optical Engineering [and] Huazhong University of Science and Technology (China) ; cosponsored by Université de Bordeaux III (France) ... [et al.] ; supported by National Natural Science Foundation of China [and] Ministry of Education of China
出版情報: Bellingham, Wash., USA : SPIE, c2001  ix, 166 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4555
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, Newport, Rhode Island, USA, August 26-29, 2001 (ACM)
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…
6.

図書
図書
6. Distributed computing : proceedings, Compcon Fall 80, twenty-first IEEE Computer Society International Conference, Capital Hilton Hotel, Washington, D.C., September 23-25, 1980
Compcon ; IEEE Computer Society
出版情報: New York, N.Y. : Institute of Electrical and Electronics Engineers, c1980  xi, 746 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. New advances in distributed computer systems : proceedings of the NATO Advanced Study Institute held at Bonas, France, June 15-26, 1981
edited by Kenneth G. Beauchamp
出版情報: Dordrecht, Holland ; Boston : D. Reidel Pub. Co. , Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1981  x, 415 p. ; 25 cm
シリーズ名: NATO advanced study institutes series ; ser. C . Mathematical and physical sciences ; v. 80
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the Workshop on Interconnection Networks for Parallel and Distributed Processing, April 21-22, 1980
Howard Jay Siegel, editor ; cosponsored by ACM SIGARCH and the IEEE Computer Society, TCCA, TCCC, TCDP, in cooperation with the School of Electrical Engineering, Purdue University
出版情報: [New York, NY] : Institute of Electrical and Electronics Engineers , Long Beach, CA : Available from IEEE Computer Society, c1980  124 p. ; 28 cm
所蔵情報: loading…
9.

図書
図書
9. Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, Calgary, Alberta, Canada, August 11-13, 1986 (pbk.)
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : Copies from ACM Order Dept., c1986  iv, 293 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. Proceedings : the 5th International Conference on Distributed Computing Systems, Denver, Colorado, May 13-17, 1985 (pbk)
sponsored by IEEE Computer Society, in cooperation with Association for Computing Machinery (ACM), Information Processing Society of Japan (IPSJ), [and] Institut national de recherche en informatique et en automatique (INRIA)
出版情報: Silver Spring, MD : Computer Society Press, c1985  x, 561 p. ; 28 cm
所蔵情報: loading…
11.

図書
図書
11. The 6th International Conference on Distributed Computing Systems, Cambridge, Massachusetts, May 19-23, 1986 (: pbk. ; : case)
sponsored by IEEE Computer Society, Institute of Electrical and Electronics Engineers, Inc.
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, Calif. : Order from IEEE Computer Society, c1986  x, 630 p. ; 28 cm
所蔵情報: loading…
12.

図書
図書
12. Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings (: gw ; : us)
J. Nehmer (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 291 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 309
所蔵情報: loading…
13.

図書
図書
13. Distributed algorithms : 2nd international workshop, Amsterdam, The Netherlands, July 8-10, 1987 : proceedings (: gw ; : us)
J. van Leeuwen (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vii, 428 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 312
所蔵情報: loading…
14.

図書
図書
14. 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
15.

図書
図書
15. Proceedings : the Eighth International Symposium on High Performance Distributed Computing, August 3-6, 1999, Redondo Beach, California (: softbound)
sponsored by University of Southern California Information Science Institute ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1999  xii, 359 p. ; 28 cm
所蔵情報: loading…
16.

図書
図書
16. Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, New York, NY, USA, April 4-7, 2000 : proceedings
Joseph Sventek, Geoffrey Coulson (eds.)
出版情報: Berlin : Springer, c2000  xi, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1795
所蔵情報: loading…
17.

図書
図書
17. Parallel and distributed computing and systems : proceedings of the Eighth IASTED International Conference, October 16-19, 1996, Chicago, Illinois, USA
editors, K. Li, T. S. Abdelrahman, E. Luque
出版情報: Anaheim, CA : IASTED/ACTA Press, c1996  iv, 546 p. ; 28 cm
所蔵情報: loading…
18.

図書
図書
18. Parallel and distributed computing and systems : proceedings of the Ninth IASTED International Conference, October 13-16, 1997, Georgetown University Conference Center, Washington, D. C., USA
editors, K. Li ... [et al.]
出版情報: Anaheim, CA : IASTED/ACTA Press, c1997  xiv, 588 p. ; 28 cm
所蔵情報: loading…
19.

図書
図書
19. Parallel and distributed computing and systems : proceedings of the Tenth IASTED International Conference, Las Vegas, Nevada, USA, October 28-31, 1998
editors, Yi Pan, Selim G. Akl, and Keqin Li
出版情報: Anaheim, CA : IASTED/ACTA Press, [1998]  v, 722 p. ; 28 cm
所蔵情報: loading…
20.

図書
図書
20. Distributed computer control systems 1998 (DCCS '98) : a proceedings volume from the 15th IFAC workshop, Como, Italy, 9-11 September 1998
edited by F. De Paoli and I.M. MacLeod
出版情報: Oxford ; Tarrytown, N.Y. : International Federation of Automatic Control by Pergamon, c1999  vi, 169 p. ; 30 cm
所蔵情報: loading…
21.

図書
図書
21. Proceedings Thirteenth Workshop on Parallel and Distributed Simulation, May 1-4, 1999,Atlanta, Georgia, USA (: paper ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Simulation, ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation
出版情報: Los Alamitos, CA : IEEE Computer Society, c1999  xiii, 192 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Committees
Reviewers
List of Past Chairs
Opening and Keynote Address
Beyond Speedup: PADS, the HLA and Web-Based Simulation / Ernest H. Page
Conservative Simulation Techniques
Path Lookahead: A Data Flow View of PDES Models / R.A. Meyer ; R.L. Bagrodia
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation / Z. Xiao ; B. Unger ; R. Simmonds ; J. Cleary
Case Study: Parallelizing a Sequential Simulation Model / L. Bajaj ; R. Bagrodia ; R. Meyer
Scheduling and Synchronization
On Event Ordering in Parallel Discrete Event Simulation / R. Ronngren ; M. Liljenstam
Exploiting Temporal Uncertainty in Parallel and Distributed Simulations / R.M. Fujimoto
GVT and Scheduling in Space Time Memory Based Techniques / A. Fabbri
Keynote Address and Panel Session
The High Level Architecture and Beyond: Technology Challenges / Judith S. Dahmann
Panel Session: Future Directions for Research in Parallel and Distributed Simulation Systems
Defense Simulation and DIS
Experience in Retrofitting a Large Sequential Ada Simulator to Two Versions of Time Warp / R. Smith ; R. Andress ; G.M. Parsons
An Auto-Adaptive Dead Reckoning Algorithm for Distributed Interactive Simulation / W. Cai ; F.B.S. Lee ; L. Chen
Optimistic Simulation Techniques I
Shock Resistant Time Warp / A. Ferscha ; J. Johnson
On Learning Algorithms and Balancing Loads in Time Warp / M. Choe ; C. Tropper
Combining Periodic and Probabilistic Checkpointing in Optimistic Simulation / F. Quaglia
Optimistic Simulation Techniques II
Fast-Software-Checkpointing in Optimistic Simulation: Embedding State Saving into the Event Routine Instructions
Efficient Optimistic Parallel Simulations using Reverse Computation / C.D. Carothers ; K.S. Perumalla
Optimism: Not Just for Event Execution Anymore / C.H. Young ; R. Radhakrishnan ; P.A. Wilsey
Performance Prediction and Analysis
Performance Prediction Tools for Parallel Discrete-Event Simulation / C.-C. Lim ; Y.-H. Low ; B.-P. Gan ; S. Jain ; W.J. Hsu ; S.Y. Huang
Performance Prediction of a Parallel Simulator / J. Liu ; D. Nicol ; B. Premore ; A. Poplawski
Simulation and Computer Networks
Exploiting Model Independence for Parallel PCS Network Simulation / A. Boukerche ; S.K. Das ; O. Yildiz
Time Warp Simulation on Clumps / G.D. Sharma ; U.K.V. Rajasekaran ; N. Abu-Ghazaleh
Active Virtual Network Management Protocol / S.F. Bush
Author Index
Foreword
Committees
Reviewers
22.

図書
図書
22. Proceedings of the Eightteenth Annual ACM Symposium on Principles of Distributed Computing, Atlanta, Georgia, USA, May 3-6, 1999 (ACM)
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  x, 285 p. ; 28 cm
所蔵情報: loading…
23.

図書
図書
23. Formal description techniques and protocol specification, testing, and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing, and Verification (PSTV XVII) : 18-21 November 1997, Osaka, Japan
edited by Tadanori Mizuno [et al.]
出版情報: London : Chapman & Hall, 1997  vii, 550 p. ; 24 cm
所蔵情報: loading…
24.

図書
図書
24. Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France (: alk. paper)
edited by Stan Budkowski, Ana Cavalli, Elie Najm
出版情報: Boston : Kluwer Academic Publishers, 1998  viii, 467 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 6
所蔵情報: loading…
25.

図書
図書
25. Proceedings, the fourth International Symposium on Autonomous Decentralized Systems -integration of heterogeneous systems, March 21-23, 1999, Tokyo, Japan (: case ; : microfiche)
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan, the Institute of Electronics Information and Communication Engineers Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  xvii, 426 p. ; 28 cm
所蔵情報: loading…
26.

図書
図書
26. Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy
edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri
出版情報: Boston : Kluwer Academic, c1999  xii, 436 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 10
所蔵情報: loading…
目次情報: 続きを見る
3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1：
Preface
Languages / Part 1：
Piccola - A Small Compositional Language / O. Nierstrasz
An Algebra of Actors / M. Gaspari ; G. Zavattaro
Developing Object-Based Distributed Systems / M. Bonsangue, et al.
Semantics I. Reasoning About Histories in Object-Based Distributed Systems / F.S. de BoerPart 2：
Mobile Nets / N. Busi
Observation Equivalences for the Semantics of Inheritance / C. Balzarotti, et al.
Java and Coordination / Part 3：
Tools for Integrating Formal Methods into the Java Software Development Process / S. Sankar
Design and Implementation of Coordination Protocols for Distributed Cooperating Objects: A General Graph-Based Technique Applied to CORBA / K. Drira, et al.
Specifying Component-Based Java Applications / S. Cimato
Object Composition and Reuse / Part 4：
Object Composition: A Case Study / D. Ramazani ; G. V. Bochmann
Specifying Reusable Controllers for Software Components / J.M. Troya ; A. Vallecillo
Composition and Interaction for Behavioural Specifications / S. Veglioni ; F. Parisi-Presicce
Telecommunications / Part 5：
Distributed Feature Composition: An Architecture for Telecommunication Services / P. Zave
Pattern Application vs. Inheritance in SDL / B. Gepert, et al.
Engineering Telecommunication Services with SDL / R. Sinnott ; M. Kolberg
SDL in Rigorous Object-Oriented Analysis / R.G. Clark ; A.M.D. Moreira
Formal Methods / Part 6：
A Junction Between State Based and Behavioural Specification / H. Bowman ; J. Derrick
Protocol Assuring Universal Language / R. van Rein ; M. Fokkinga
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations / K. Stoelen
Assessing Service Properties with Regard to a Requested QoS: The Service Metric / C. Linnhoff-Popien ; D. Thissen
Combining Design Methods for Service Development / M. Born, et al.
Emerging Standards / Part 7：
LSCs: Breathing Life Into Message Sequence Charts / W. Damm ; D. Harel
Modular Reasoning for Actor Specification Diagrams / S.F. Smith ; C.L. Talcott
Towards a Formal Operational Semantics of UML Statechart Diagrams / D. Latella, et al.
Semantics II. Foundations for Wide-Area Systems / L. CardelliPart 8：
Calculi for Concurrent Objects / C. Laneev
Infinite Types for Distributed Object Interfaces / E. Najm, et al.
Static Safety Analysis for Non-Uniform Service Availability in Actors / J.L. Colaco, et al.
A Logic for the Specification of Multi-Object Systems / J. Broersen ; R. Wieringa
Semantics III. Distributed and Concurrent Objects Based on Linear Logic / N. Kobayashi ; A. YonezawaPart 9：
Composition in Multiparadigm Specification Techniques / L. Blair ; G. Blair
Formal Development of Object-Based Systems in a Temporal Logic Setting / E. Canver ; F.W. von Henke
3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1：
Preface
Languages / Part 1：
27.

図書
図書
27. Proceedings, Second International Workshop on Software Engineering for Parallel and Distributed Systems : May 17-18, 1997, Boston, MA, USA
sponsored by ACM SIGSOFT and IEEE Computer Society ; in cooperation with International Federation for Information Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 1997  x, 311 p. ; 28 cm
所蔵情報: loading…
28.

図書
図書
28. Distributed computing : 13th International Symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings
Prasad Jayanti (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  x, 355 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1693
所蔵情報: loading…
目次情報: 続きを見る
Invited Lecture
A Case for Message Oriented Middleware / Guruduth Banavar ; Tushar Chandra ; Robert Strom ; Daniel Sturman
Regular Papers
Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast (Won the Best Student Paper Award) / Marcos Kawazoe Aguilera ; Sam Toueg ; Borislav Deianov
Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems / Mikel Larrea ; Sergio Arevalo ; Antonio Fernandez
Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach / Achour Mostéfaoui ; Michel Raynal
A Dynamic Primary Configuration Group Communication Service / Roberto De Prisco ; Alan Fekete ; Nancy Lynch ; Alex Shvartsman
Asynchronous Group Membership with Oracles / Kal Lin ; Vassos Hadzilacos
Generic Broadcast / Fernando Pedone ; Andre Schiper
Non-Blocking Asynchronous Byzantine Quorum Systems / Rida A. Bazzi
Byzantine Agreement Secure Against General Adversaries in the Dual Failure Model / Bernd Altmann ; Matthias Fitzi ; Ueli Maurer
Randomness Recycling in Constant-Round Private Computations / Carlo Blundo ; Clemente Galdi ; Pino Persiano
Abuse-free Multi-Party Contract Signing / Juan A. Garay ; Philip MacKenzie
Fair and Efficient Mutual Exclusion Algorithms / K. Alagarsamy ; K. Vidyasankar
Fast and Scalable Mutual Exclusion / James H. Anderson ; Yong-Jik Kim
The Congenial Talking Philosophers Problem in Computer Networks / Yuh-Jzer Joung
Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution / Ashis Tarafdar ; Vijay K. Garg
DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Order Semantics / Camelia Zlatea ; Tzilla Elrad
A New Rewrite Method for Proving Convergence of Self-Stabilizing Systems / Joffroy Beauquier ; Béatrice Berard ; Laurent Fribourg
Stabilization-Preserving Atomicity Refinement / Mikhail Nesterenko ; Anish Arora
Self-Testing/Correcting Protocols / Matthew Franklin ; Moti Yung
Randomization Helps to Perform Tasks on Processors Prone to Failures / Bogdan S. Chlebus ; Dariusz R. Kowalski
A New Scheduling Algorithm for General Strict Multithreaded Computations / Panagiota Fatourou ; Paul Spirakis
Consensus Numbers of Transactional Objects / Eric Ruppert
Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions / Maria Eleftheriou ; Marios Mavronicolas
Maintenance of a Spanning Tree in Dynamic Networks / Shay Kutten ; Avner Porat
Author Index
Invited Lecture
A Case for Message Oriented Middleware / Guruduth Banavar ; Tushar Chandra ; Robert Strom ; Daniel Sturman
Regular Papers
29.

図書
図書
29. Active technologies for network and service management : 10th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999 : proceedings
Rolf Stadler, Burkhard Stiller (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xii, 296 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1700
所蔵情報: loading…
目次情報: 続きを見る
Decentralized Monitoring and Anomaly Detection
On the Performance and Scalability of Decentralized Monitoring Using Mobile Agents / Antonio Liotta ; Graham Knight ; George Pavlou
Programmable Agents for Active Distributed Monitoring / Ehab S. Al-Shaer
A Distributed and Reliable Platform for Adaptive Anomaly Detection in IP Networks / L. Lawrence Ho ; Christopher J. Macey ; Ronald Hiller
Management Components and Multi-domain Management
Integrating Service and Network Management Components for Service Fulfilment / David Lewis ; Chris Malbon ; Costas Stathopoulos ; Enric Jaen Villoldo
Distributed Connection Management Architecture for Optimal VPC Provisioning on Hierarchical ATM Transport Network / Won-Kyu Hong ; Dong-Sik Yun
A Multi-agent Paradigm for the Inter-domain Demand Allocation Process / Monique Calisti ; Boi Faltings
Providing Managed Services to End-Users
The Future of SNMP-based Management
Next Generation Structure of Management Information for the Internet / Jürgen Schönwälder ; Frank Strauß
An XML-based Framework for Dynamic SNMP MIB Extension / Ajita John ; Keith Vanderveen ; Binay Sugla
Directory Supported Management with SNMPv3 / Salima Omari ; Raouf Boutaba ; Omar Cherkaoui
Programmable SNMP-based Management
Remote Service Deployment on Programmable Switches with the IETF SNMP Script MIB / Jürgen Quittek ; Cornelia Kappler
Integrating SNMP into a Mobile Agent Infrastructure / Paulo Simões ; Luis Moura Silva ; Fernando Boavida Fernandes
JAMAP: A Web-based Management Platform for IP Networks / Jean-Philippe Martin-Flatin ; Laurent Bovet ; Jean-Pierre Hubaux
Management of Programmable and Active Networks
Service Configuration and Management in Adaptable Networks / Livio Ricciulli
Virtual Active Networks - Safe and Flexible Environments for Customer-managed Services / Marcus Brunner ; Rolf Stadler
Accelerating Code Deployment on Active Networks / Tôru Egashira ; Yoshiaki Kiriha
Are Programmable Networks Unmanageable?
IT and Enterprise Management
Characterization and Measurements of Enterprise Network Traffic with RMON2 / Luciano Paschoal Gaspary ; Liane Rockenbach Tarouco
Derivation of Backup Service Management Applications from Service and System Models / Ingo Lück ; Marcus Schönbach ; Arnulf Mester ; Heiko Krumm
A Framework for the Integration of Legacy Devices into a Jini Management Federation / Gerd Aschemann ; Svetlana Domnitcheva ; Peer Hasselmeyer ; Roger Kehr ; Andreas Zeidler
Management Tools
Ntop: Beyond ping and traceroute / Luca Deri ; Stefano Suin
EventBrowser: A Flexible Tool for Scalable Analysis of Event Data / Sheng Ma ; Joseph L. Hellerstein
Challenges for Management Research
Author Index
Decentralized Monitoring and Anomaly Detection
On the Performance and Scalability of Decentralized Monitoring Using Mobile Agents / Antonio Liotta ; Graham Knight ; George Pavlou
Programmable Agents for Active Distributed Monitoring / Ehab S. Al-Shaer
30.

図書
図書
30. Parallel and distributed computing and systems : proceedings of the Eleventh IASTED International Conference, November 3-6, 1999, MIT, Cambridge, Massachusetts - USA (v. 1 of 2 ; v. 2 of 2)
editor, S. Q. Zheng
出版情報: Anaheim, CA : IASTED/ACTA Press, c1999  2 v. (ix, 1079 p.) ; 28 cm
所蔵情報: loading…
31.

図書
図書
31. Distributed communities on the web : third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000 : proceedings
Peter Kropf ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000  xi, 201 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1830
所蔵情報: loading…
32.

図書
図書
32. Proceedings, International Symposium on Software Engineering for Parallel and Distributed Systems : 10-11 June, 2000, Limerick, Ireland ([: pbk.] ; : case ; : microfiche)
International Symposium on Software Engineering for Parallel and Distributed Systems ; IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2000  x, 197 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Referees
A Principled Approach to Supporting Adaptation in Distributed Mobile Environments / G. Blair ; G. Coulson ; A. Andersen ; L. Blair ; M. Clarke ; F. Costa ; H. Duran ; N. Parlavantzas ; K. Saikoski
A Skeleton-Based Approach for the Design and Implementation of Distributed Virtual Environments / F. Rabhi ; H. Cai ; B. Tompsett
Specifying and Verifying Reconfigurable Software Architectures / V. de Paula ; G. Justo ; P. Cunha
Dynamic Reconfiguration of Component-Based Applications / T. Batista ; N. Rodriguez
Applying Distributed Object Technology to Network Planning / T. Wessels ; J. Bishop
Dynamic Workflow Management in CORBA Distributed Object Systems / Z. Tari ; V. Pande
Design of a Virtual Store Using Distributed Object Technology / D. Chambers ; G. Lyons ; J. Duggan
A CORBA-Based Architecture for Adding Dependability to Legacy Servers / D. Cotroneo ; L. Romano ; S. Russo ; N. Mazzocca
Filtering and Scalability in the ECO Distributed Event Model / M. Haahr ; R. Meier ; P. Nixon ; V. Cahill ; E. Jul
Scalability Issues in CORBA / P. Rani ; A. Srinivas ; D. Ram
Formalization and Verification of Coherence Protocols with the Gamma Framework / D. Mentre ; D. Le Metayer ; T. Priol
A CSP Model for Java Multihreading / P. Welch ; J. Martin
A CORBA-Based Object Group Service and a Join Service Providing a Transparent Solution for Parallel Programming / M. Aleksy ; A. Korthaus
Performance Debugging of Parallel and Distributed Embedded Systems / F. Suarez ; D. Garcia ; J. Garcia
Early Evaluation of Design Options for Distributed Systems / H. Giese ; G. Wirtz
Implementation of an Intrusion Detection System Based on Mobile Agents / M. Bernares ; E. dos Santos Moreira
A Formalism for Hierarchical Mobile Agents / I. Satoh
Component Location and the Role of Trading in Large Scale Distributed Systems / S. Terzis
HERCULE: Monitoring Component-Based Application Activity and Enabling Post-Implementation Tailoring of Feedback / K. Renaud
Exploratory Visualization of Distributed Computations: A Case Study / N. Gupta ; E. Kraemer ; D. Hart ; M. Chinwala ; D. Miller
Author Index
Message from the Chairs
Conference Organization
Referees
33.

図書
図書
33. Coordination languages and models : 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings
António Porto, Gruia-Catalin Roman (eds.)
出版情報: Berlin : Springer, c2000  ix, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1906
所蔵情報: loading…
34.

図書
図書
34. Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Joost-Pieter Katoen (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  x, 353 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1601
所蔵情報: loading…
35.

図書
図書
35. Parallel and distributed processing : 10 IPPS/SPDP'98 Workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distrubuted Processing, Orlando, Florida, USA, March 30-April 3, 1998, proceedings
José Rolim, ed
出版情報: Berlin ; New York : Springer, c1998  xvii, 1168 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1388
所蔵情報: loading…
36.

図書
図書
36. Distributed applications and interoperable systems : IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS '97), 30th September-2nd October 1997, Cottbus, Germany
edited by Hartmut König, Kurt Geihs and Thomas Preuß
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  vi,294p ; 24cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committee members and invited speakers
List of references
Invited talk - abstract
Management of distributed applications / Part one：
Agents and internet applications / Part two：
Short paper session I / Part three：
Working session
Invited talk II - Abstract
CORBA 1 / Part four：
CORBA 2 / Part five：
Short paper session II / Part six：
Language support for distributed applications design / Part seven：
Security and reliability aspects / Part eight：
Index of contributors
Keyword index
Preface
Committee members and invited speakers
List of references
37.

図書
図書
37. Proceedings, Third International Workshop on Object-oriented Real-time Dependable Systems : February 5-7, 1997, Newport Beach, California, U.S.A. (case ; microfiche)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with IFIP WG 10.4 on Dependable Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  x, 356 p. ; 28 cm
所蔵情報: loading…
38.

図書
図書
38. Proceedings of the sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, October 29-31, 1997, Tunis, Tunisia (: paper)
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing ; with the support of University of Science Technology and Medicine of Tunis, Faculty of Sciences of Tunes...[et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xii, 346 p. ; 28 cm
所蔵情報: loading…
39.

図書
図書
39. 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…
40.

図書
図書
40. Building QoS into distributed systems : IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service (IWQOS '97), 21-23 May 1997, New York, USA
edited by Andrew Campbell and Klara Nahrstedt
出版情報: London : Chapman & Hall, 1997  xli, 406 p. ; 24cm
所蔵情報: loading…
41.

図書
図書
41. Proceedings : the sixth IEEE International Symposium on High Performance Distributed Computing, Portland State University, Portland, Oregon, August 5-8, 1997 (: pbk)
sponsors,IEEE Computer Society Technical Committee on Distributed Processing, HPDC Laboratory at Syracuse University...[et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xiii, 377 p. ; 28 cm
所蔵情報: loading…
42.

図書
図書
42. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, August 18-20, 1982, Ottawa, Canada (pbk.)
sponsored by the ACM Special Interest Group for Automata and Computing Theory [and] the ACM Special Interest Group for Operating Systems
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : ACM Order Dept. [distributor], c1982  vii, 262 p. ; 28 cm
所蔵情報: loading…
43.

図書
図書
43. Coordination languages and models : Second International Conference COORDINATION '97, Berlin, Germany, September 1-3 1997 : proceedings
David Garlan, Daniel Le Métayer (eds.)
出版情報: Berlin : Springer, c1997  x, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1282
所蔵情報: loading…
44.

図書
図書
44. Proceedings of the 17th International Conference on Distributed Computing Systems, May 27-30, 1997, Baltimore, Maryland, USA (: softbound ; : casebound ; : microfiche)
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  xvii, 596 p. ; 28 cm
所蔵情報: loading…
45.

図書
図書
45. Distributed algorithms : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997 : proceedings
Marios Mavronicolas, Philippas Tsigas (eds.)
出版情報: Berlin ; New York : Springer, c1997  x, 332 p.
シリーズ名: Lecture notes in computer science ; 1320
所蔵情報: loading…
46.

図書
図書
46. Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, Ca., USA, August 21-24, 1997
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1997  viii, 297 p. ; 28 cm
所蔵情報: loading…
47.

図書
図書
47. Distributed computing : 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998 : proceedings
Shay Kutten (ed.)
出版情報: Berlin : Springer, c1998  xi, 418 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1499
所蔵情報: loading…
目次情報: 続きを見る
Keynote Lectures
Sense of Direction in Distributed Computing / P. Flocchini ; B. Mans ; N. Santoro.
Top-Down Considerations on Distributed Computing / R. van der Meyden ; Y. Moses
Inter-Task Co-ordination in Long-Lived Distributed Applications / S. K. Shrivastava
Contributed Papers
Seamlessly Selecting the Best Copy from Internet-Wide Replicated Web Servers / Y. Amir ; A. Peterson ; D. Shaw
Wait-Free Synchronization in Quantum-Based Multiprogrammed Systems / J. H. Anderson ; R. Jain ; D. Ott
Computing in Totally Anonymous Asynchronous Shared Memory Systems / H. Attiya ; A. Gorbach ; S. Moran
Transient Fault Detectors / J. Beauquier ; S. Delaët ; S. Dolev ; S. Tixeuil
Directed Virtual Path Layouts in ATM Networks / J.-C. Bermond ; N. Marlin ; D. Peleg ; S. Perennes
A Decision-Theoretic Approach to Reliable Message Delivery / F. Chu ; J. Halpern
Propagation and Leader Election in a Multihop Broadcast Environment / I. Cidon ; O. Mokryn
The Arrow Distributed Directory Protocol / M. J.Demmer ; M. P. Herlihy
Efficient Byzantine Agreement Secure against General Adversaries / Matthias Fitzi ; Ueli Maurer
Long-Lived, Fast, Waitfree Renaming with Optimal Name Space and High Throughput / W. Eberly ; L. Higham ; J. Warpechowska-Gruca
The Compactness of Interval Routing for Almost All Graphs / C. Gavoille
A Wait-Free Classification of Loop Agreement Tasks / M. Herlihy ; S. Rajsbaum
A Stabilizing Repair Timer / T. Herman
Java: Memory Consistency and Process Coordination / J. Kawash
A Complete and Constant Time Wait-Free Implementation of CAS from LL/SC and Vice Versa / P. Jayanti
Failure Detection and Consensus in the Crash-Recovery Model / M. K. Aguilera ; W. Chen ; S. Toueg
A More Committed Quorum-Based Three Phase Commit Protocol / T. Kempster ; C. Stirling ; P. Thanisch
Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service / R. Khazan ; A. Fekete ; N. Lynch
Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks / R. Kralovic ; B. Rovan ; P. Ru icka ; D. Stefankovic
A New Protocol for Efficient Copperative Transversal Web Caching / J.-M. Menaud ; V. Issarny ; M. Banâtre
Fairness of Shared Objects / M. Merritt ; G. Taubenfeld
Optimistic Atomic Broadcast / F. Pedone ; A. Schiper
Approximate Agreement with Mixed Mode Faults: Algorithm and Lower Bound / R. Plunkett
Using Remote Access Histories for Thread Scheduling in Distributed Shared Memory Systems / A. Schuster ; L. Shalev
The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System / J. Sussman ; K. Marzullo
Lifetime Based Consistency Protocols for Distributed Objects / F. J. Torres-Rojas ; M. Ahamad ; M. Raynal
Deriving a Scalable Algorithm for Mutual Exclusion / Y.-K. Tsay
OFC: A Distributed Fossil-Collection Algorithm for Time-Warp / C. H. Young ; N. B. Abu-Ghazaleh ; P. A. Wilsey
Author Index
Keynote Lectures
Sense of Direction in Distributed Computing / P. Flocchini ; B. Mans ; N. Santoro.
Top-Down Considerations on Distributed Computing / R. van der Meyden ; Y. Moses
48.

図書
図書
48. Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, Puerto Vallarta, México, June 28 - July 2, 1998
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  x, 328 p. ; 28 cm
所蔵情報: loading…
49.

図書
図書
49. Fourth International Conference on Configurable Distributed Systems : proceedings, May 4-6, 1998, Annapolis, Maryland (: case)
sponsored by the University of Maryland Institute for Advanced Computer Studies
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1998  viii, 233 p. ; 28 cm
所蔵情報: loading…
50.

図書
図書
50. Teleinformatics '79 : proceedings of the International Conference on Teleinformatics, Paris, France, 11-13 June 1979
edited by E. J. Boutmy, A. Danthine ; sponsored by IFIP TC-6 ... [et al.] ; organized by AFCET
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : sole distributors for U.S.A., Elsevier North-Holland, 1979  xi, 315 p. ; 27 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼