close
1.

図書

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

図書

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

図書

図書
sponsored by University of Southern California Information Science Institute ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1999  xii, 359 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
editors, K. Li, T. S. Abdelrahman, E. Luque
出版情報: Anaheim, CA : IASTED/ACTA Press, c1996  iv, 546 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
editors, K. Li ... [et al.]
出版情報: Anaheim, CA : IASTED/ACTA Press, c1997  xiv, 588 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
editors, Yi Pan, Selim G. Akl, and Keqin Li
出版情報: Anaheim, CA : IASTED/ACTA Press, [1998]  v, 722 p. ; 28 cm
所蔵情報: loading…
7.

図書

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

図書

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

図書

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

図書

図書
edited by Tadanori Mizuno [et al.]
出版情報: London : Chapman & Hall, 1997  vii, 550 p. ; 24 cm
所蔵情報: loading…
11.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
editor, S. Q. Zheng
出版情報: Anaheim, CA : IASTED/ACTA Press, c1999  2 v. (ix, 1079 p.) ; 28 cm
所蔵情報: loading…
18.

図書

図書
Joost-Pieter Katoen (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  x, 353 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1601
所蔵情報: loading…
19.

図書

図書
José Rolim, ed
出版情報: Berlin ; New York : Springer, c1998  xvii, 1168 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1388
所蔵情報: loading…
20.

図書

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

図書

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

図書

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

図書

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

図書

図書
edited by Andrew Campbell and Klara Nahrstedt
出版情報: London : Chapman & Hall, 1997  xli, 406 p. ; 24cm
所蔵情報: loading…
25.

図書

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

図書

図書
David Garlan, Daniel Le Métayer (eds.)
出版情報: Berlin : Springer, c1997  x, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1282
所蔵情報: loading…
27.

図書

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

図書

図書
Marios Mavronicolas, Philippas Tsigas (eds.)
出版情報: Berlin ; New York : Springer, c1997  x, 332 p.
シリーズ名: Lecture notes in computer science ; 1320
所蔵情報: loading…
29.

図書

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

図書

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

図書

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

図書

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

図書

図書
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, c1998  xii, 197 p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
Kurt Rothermel, Fritz Hohl (eds.)
出版情報: Berlin : Springer, c1998  viii, 284 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1477
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Present and Future Trends of Mobile Agent Technology / D. B. Lange
Mechanisms for Mobile Agent Systems The Shadow Approach: An Orphan Detection Protocol for Mobile Agents / J. Baumann ; K. Rothermel
An Approach for Providing Mobile Agent Fault Tolerance / F. M. Assis Silva ; R. Popescu-Zeletin
Transparent Migration of Java-Based Mobile Agents: Capturing and Reestablishing the State of Java Programs / S. Funfrocken
Mobile Agent Architectures
Infrastructure for Mobile Agents: Requirements and Design / Y. Aridor ; M. Oshima
MASIF: The OMG Mobile Agent System Interoperability Facility / D. Milojicic ; M. Breugst ; I. Busse ; J. Campbell ; S. Covaci ; B. Friedman ; K. Kosaka ; D. Lange ; K. Ono ; C. Tham ; S. Virdhagriswaran ; J. White
Automatic State Capture of Self-Migrating Computations in MESSENGERS / C. Wicke ; L. F. Bic ; M. B. Dillencourt ; M. Fukuda
Mobile Agent Applicability / D. Johansen
Applications I
An Agent Based Application for Personalised Vehicular Traffic Management / A. Schill ; A. Held ; W. Böhmak ; T. Springer ; T. Ziegert
Stationary vs. Mobile User Agents in Future Mobile Telecommunication
Networks / A. Küpper ; A. S. Park
Integrating Mobile Agents into the Mobile Middleware / E. Kovacs ; K. Röhrle ; M. Reich
Mobile Agent Systems
A Mobile Object Workbench / M. Bursell ; R. Hayton ; D. Donaldson ; A. Herbert
An Overview of AgentSpace: A Next-Generation Mobile Agent System.. / A. Silva ; M. Mira da Silva ; J. Delgado
muCode: A Lightweight and Flexible Mobile Code Toolkit / G. P. Picco
Security
Mobile Agents and Intellectual Property Protection / S. G. Belmon ; B. S. Yee
Ensuring the Integrity of Agent-Based Computations by Short Proofs / I. Biehl ; B. Meyer ; S. Wetzel
Protecting the Computation Results of Free-Roaming Agents / G. Karjoth ; N. Asokan ; C. Gülcü
Wide-Area Languages / L. Cardelli
Communication
Agent-User Communications: Requests, Results, Interaction / A. Lingnau ; O. Drobnik
A Plug-in Architecture Providing Dynamic Negotiation Capabilities for Mobile Agents / M. T. Tu ; F. Griffel ; M. Merz ; W. Lamersdorf
Reactive Tuple Spaces for Mobile Agent Coordination / G. Cabri ; L. Leonardi ; F. Zambonelli
Applications II
Enabling a Mobile Network Manager (MNM) through Mobile Agents / A. Sahai ; C. Morin
Scalable Service Deployment Using Mobile Agents / L. Bernardo ; P. Pinto
Designing a Videoconference System for Active Networks / M. Baldi ; F. Risso
Author Index
Invited Talk
Present and Future Trends of Mobile Agent Technology / D. B. Lange
Mechanisms for Mobile Agent Systems The Shadow Approach: An Orphan Detection Protocol for Mobile Agents / J. Baumann ; K. Rothermel
35.

図書

図書
edtied by I.M. MacLeod and W.H. Kwon
出版情報: Oxford : Published for the International Federation of Automatic Control by Pergamon, 1997  viii, 175 p. ; 30 cm
所蔵情報: loading…
36.

図書

図書
sponsored by Argonne National Laboratory, HPDC Laboratory at Syracuse University, IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1998  xii, 371 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
Chengqi Zhang, Dickson Lukose (eds.)
出版情報: Berlin ; New York : Springer, c1998  vii, 195 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1544 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Team Formation by Self-Interested Mobile Agents / Stanislaw Ambroszkiewicz ; Olaf Matyja ; Wojciech Penczek
Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems / Walid Chainbi ; Mohamed Jmaiel ; Ben Hamadou Abdelmajid
Learning Message-Related Coordination Control in Multiagent Systems / Toshiharu Sugawara ; Satoshi Kurihara
Multi-Agent Reinforcement Learning System Integrating Exploitation and Exploration-Oriented Learning / Rikio Onai
Motivated Behavior for Goal Adoption / Michael Luck ; Mark d'Inverno
Physically Based, Self-Organizing Cellular Automata / Alan Dorin
Service Contract Negotiation - Agent-Based Support for Open Service Environments / Annika Waern
An Awareness-Based Model for Agents Involved in Reporting Activities / Bernard Moulin
GISM: A Language for Modelling and Developing Agent-Based Intelligent Systems / Hongxue Wang ; John Slaney
Programming Internet Based DAI Applications in Qu-Prolog / Keith Clark ; Peter J. Robinson ; Richard Hagen
Design of an Agent-Based, Multi-user Scheduling Implementation / Andrew Scott ; Karen Jenkin ; Rye Senjen
A Team of Agents Cooperating for Intelligent Tutoring / Ruddy Lelouche
Secure Information Gathering Agent for Internet Trading / X.F. Wang ; X. Yi ; K.Y. Lam ; E. Okamoto ; Singapore ; Japan
Author Index
Team Formation by Self-Interested Mobile Agents / Stanislaw Ambroszkiewicz ; Olaf Matyja ; Wojciech Penczek
Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems / Walid Chainbi ; Mohamed Jmaiel ; Ben Hamadou Abdelmajid
Learning Message-Related Coordination Control in Multiagent Systems / Toshiharu Sugawara ; Satoshi Kurihara
38.

図書

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

図書

図書
Özalp Babaoğlu, Keith Marzullo (eds.)
出版情報: Berlin : Springer, c1996  viii, 379 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1151
所蔵情報: loading…
40.

図書

図書
Kurt Rothermel, Radu Popescu-Zeletin (eds.)
出版情報: Berlin : Springer, c1997  viii, 221 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1219
所蔵情報: loading…
41.

図書

図書
Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors
出版情報: Providence, R.I. : American Mathematical Society, c1997  xiv, 403 p. ; 26 cm
シリーズ名: DIMACS series in discrete mathematics and theoretical computer science ; v. 29
所蔵情報: loading…
42.

図書

図書
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control, Gessellschaft fuer Informatik
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xiv, 422 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
Miquel Bertran, Teodor Rus, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1231
所蔵情報: loading…
44.

図書

図書
edited by Jerome Rolia, Jacob Slonim and John Botsford
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  vi, 325 p. ; 24 cm
所蔵情報: loading…
45.

図書

図書
edited by Innes Jelly, Ian Gorton and Peter Croll
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1996  xi,325p ; 25cm
所蔵情報: loading…
46.

図書

図書
edited by Reinhard Gotzhein and Jan Bredereke
出版情報: London : published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vii, 516 p. ; 25 cm
所蔵情報: loading…
47.

図書

図書
edited by A.E.K. Sahraoui and J.A. de la Puente
出版情報: Oxford : Published for the International Federation of Automatic Control by Pergamon, 1995  vii, 177 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Temporal Properties in DCCS / Chapter headings: Architecture for DCCS:
Methodologies for DCCS Design I
Scheduling Methods for DCCS
Methodologies for DCCS II
Temporal Properties in DCCS II
Dependability Issues in DCCS
System Analysis
Real-Time Communication
Applications
Temporal Properties in DCCS / Chapter headings: Architecture for DCCS:
Methodologies for DCCS Design I
Scheduling Methods for DCCS
48.

図書

図書
edited by J.A. de la Puente and M.G. Rodd
出版情報: Oxford : Published for the International Federation of Automatic Control by Pergamon, 1995  vii, 183 p. ; 29 cm
所蔵情報: loading…
49.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  viii, 175 p. ; 28 cm
所蔵情報: loading…
50.

図書

図書
edited by Manfred Broy
出版情報: Berlin ; New York : Springer, c1996  viii, 467 p. ; 24 cm
シリーズ名: NATO ASI series ; Series F . Computer and systems sciences ; no. 152
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼