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.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
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, c2001  xiv, 209 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
editors, M. Guizani and X. Shen
出版情報: Anaheim, CA : IASTED/ACTA Press, c2000  2 v. (vi, 826 p.) ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xii, 448 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Conference Organizers
Program Committee
Introduction / Ian Foster ; William Johnston
Application Study
Adaptable Mirroring in Cluster Servers / A. Gavrilovska ; K. Schwan ; V. Oleson
Studying Protein Folding on the Grid: Experiences Using CHARMM on NPACI Resources under Legion / A. Natrajan ; M. Crowley ; N. Wilkins-Diehr ; M. Humphrey ; A. Fox ; A. Grimshaw ; C. Brooks, III
A CORBA-Based Development Environment for Wrapping and Coupling Legacy Scientific Codes / G. Follen ; C. Kim ; I. Lopez ; J. Sang ; S. Townsend
Grid Middleware
Middleware Support for Global Access to Integrated Computational Collaboratories / V. Mann ; M. Parashar
PAWS: Collective Interactions and Data Transfers / K. Keahey ; P. Fasel ; S. Mniszewski
Condor-G: A Computation Management Agent for Multi-Institutional Grids / J. Frey ; T. Tannenbaum ; M. Livny ; I. Foster ; S. Tuecke
Management of Large Datasets
Models for Replica Synchronisation and Consistency in a Data Grid / D. Dullmann ; W. Hoschek ; J. Jaen-Martinez ; B. Segal ; A. Samar ; H. Stockinger ; K. Stockinger
File and Object Replication in Data Grids / B. Allcock ; K. Holtman ; B. Tierney
Distributed Data Access and Resource Management in the D0 SAM System / I. Terekhov ; R. Pordes ; V. White ; L. Lueking ; L. Carpenter ; H. Schellman ; J. Trumbo ; S. Veseli ; M. Vranicar ; S. White
Security
Security Implications of Typical Grid Computing Usage Scenarios / M. Thompson
An Online Credential Repository for the Grid: MyProxy / J. Novotny ; V. Welch
Network QoS
End-to-End Provision of Policy Information for Network QoS / V. Sander ; W. Adamson ; A. Roy
QoS-Aware Dependency Management for Component-Based Systems / Y. Cui ; K. Nahrstedt
Metascheduling Performance
Livelock Avoidance for Meta-Schedulers / J. Jardine ; Q. Snell ; M. Clement
Active Yellow Pages: A Pipelined Resource Management Architecture for Wide-Area Network Computing / D. Royo ; N. Kapadia ; J. Fortes ; L. Diaz de Cerio
A Case for TCP Vegas in High-Performance Computational Grids / E. Weigle ; W-C. Feng
Resource Discovery
Evaluation of a Resource Selection Mechanism for Complex Network Services / J. Lopez ; D. O'Hallaron
Grid Information Services for Distributed Resource Sharing / K. Czajkowski ; S. Fitzgerald ; C. Kesselman
Location Selection for Active Services / R. Karrer ; T. Gross
Problem Solving Environments
The Astrophysics Simulation Collaboratory Portal: A Science Portal Enabling Community Software Development / M. Russell ; G. Allen ; G. Daues ; E. Seidel ; J. Shalf ; G. von Laszewski
The GridPort Toolkit: A System for Building Grid Portals / M. Thomas ; S. Mock ; M. Dahan ; K. Mueller ; D. Sutton ; J. Boisseau
Open Data Management Solutions for Problem Solving Environments: Application of Distributed Authoring and Versioning to the Extensible Computational Chemistry Environment / K. Schuchardt ; J. Myers ; E. Stephan
Support for Network Applications
Bandwidth Monitoring for Network-Aware Applications / J. Bolliger
The Architecture of the Remos System / P. Dinda ; B. Lowekamp ; N. Miller ; P. Steenkiste ; D. Sutherland
Reducing Delay with Dynamic Selection of Compression Formats / C. Krintz ; B. Calder
Networking Monitoring
Enabling Network-Aware Applications / D. Gunter ; J. Lee ; M. Stoufer ; J. Evans
Network Characterization Service (NCS) / G. Jin ; G. Yang ; B. Crowley ; D. Agarwal
Optimizing Performance
Cooperative Caching Middleware for Cluster-Based Servers / F. Cuenca-Acuna ; T. Nguyen
NAS Grid Benchmarks: A Tool for Grid Space Exploration / M. Frumkin ; R. Van der Wijngaart
High Performance I/O and File System
The Kangaroo Approach to Data Movement on the Grid / D. Thain ; J. Basney ; S-C. Son
The PUNCH Virtual File System: Seamless Access to Decentralized Storage Services in a Computational Grid / R. Figueiredo
Parallel and Distributed Algorithms
Wide-Area Transposition-Driven Scheduling / J. Romein ; H. Bal
Parallel Retrograde Analysis on Different Architecture / R. Wu ; D. Beal
Massively Parallel Distributed Feature Extraction in Textual Data Mining Using HDDI / J. Kuntraruk ; W. Pottenger
Open Metadata Formats: Efficient XML-Based Communication for High Performance Computing / P. Widener ; G. Eisenhauer
Application Scheduling
Online Prediction of the Running Time of Tasks
Multi-Resolution Resource Behaviour Queries Using Wavelets / J. Skicewicz ; J. Schopf
A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid / A. Takefusa ; H. Casanova ; S. Matsouka ; F. Berman
Practical Resource Management for Grid-Based Visual Exploration / A. Demir ; M. Thiebaux
Poster Session
A Metadebugger Prototype for the HARNESS Metacomputing Framework / R. Lovas ; V. Sunderam
Nomadic Migration: A New Tool for Dynamic Grid Computing / G. Lanfermann ; T. Radke
Interfacing Parallel Jobs to Process Managers / B. Toonen ; D. Ashton ; E. Lusk ; W. Gropp ; E. Gabriel ; R. Butler ; N. Karonis
Dynamic Replica Management in the Service Grid / B-D. Lee ; J. Weissman
Efficient Techniques for Distributed Computing / T. Dramlitsch
The Active Streams Approach to Adaptive Distrubuted Systems / F. Bustamante
Overview of Security Considerations for Computational and Data Grids / W. Johnston ; K. Jackson ; S. Talwar
Applying Grid Technologies to Bioinformatics / M. Karo
The Logistical Session Layer / M. Swany ; R. Wolski
Author Index
HPDC-11 Call for Papers
Message from the General Chair
Message from the Program Chair
Conference Organizers
11.

図書

図書
edited by A. Sowmya and J. Park
出版情報: Oxford : Pergamon, 2001  vi, 133 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Control Theory and Applications
Automation for Shape Control in Stainless Cold Rolling Mill / Y.G. Hur ; D.K. Rhee
Internal Model Control using Recurrent Neural Networks for Nonlinear Dynamic Systems / Y. Li ; D. Powers ; P. Wen
Real-Time Networks-I
Stochastic Control of Communication Network with Time Varying Delay / E.-D. Park ; U.-Y. Huh
Designing Real-Time Systems Based on Mono-Master Profibus-DP Networks / S. Monforte ; M. Alves ; F. Vasques ; E. Tovar
Applications-I
A Monitor Tool for Networked Factories / K. Kabitzsch ; G. Kotte
ACRuDA / O. Nordland
Architecture
Systems Engineering of Time-Triggered Architectures--The SETTA Approach / C. Scheidler ; P. Puschner ; S. Boutin ; E. Fuchs ; G. Gruensteidl ; Y. Papadopoulos ; M. Pisecky ; J. Rennhack ; U. Virnich
Checkpoint Placement for Fault-Tolerant Real-Time Systems / H. Lee ; H. Shin ; N. Chang
Deadline Assignment to Reduce Output Jitter of Real-Time Tasks / T. Kim
Clock Synchronization Protocol under Windows NT / A.D. Assandri ; M.A. Garcia
Specification and Simulation
Integrating WCET Analysis into a MATLAB/SIMULINK Simulation Model / R. Kirner ; R. Lang ; C. Temple
Real-Time Behaviour Verification, Animation and Monitoring Starting from DCCS Specification / L. Motus ; T. Naks
Refinement and Efficient Verification of Synchronous Programs / S. Ramesh
Real-Time Networks-II
Systems Modelling and Identification in CAN Based Distributed Control Systems / A.M. Mota ; P. Fonseca ; J.A. Fonseca
A Control Theory Approach for Congestion Control in Intranetwork / P. Nanda
Real-Time Networks-III
Improving the Responsiveness of the Synchronous Messaging System in FTT-CAN / P. Pedreiras ; L. Almeida
A Distributed Fault-Tolerant Real-Time Skeleton / M.E. Outram ; F.A. Rabhi
RTP/RTCP Based Real-Time Protocol over Ethernet for Distributed Control System / Joonwoo Park ; Jaehyun Park
Applications-II
Distributed Computer-Controlled Systems: The DEAR-COTS Approach / P. Verissimo ; A. Casimiro ; L.M. Pinho ; L. Rodrigues
Automated Implementation of Distributed Real-Time Systems using Real-Time Object-Oriented Modeling / S. Kim ; S. Cho ; S. Hong
Seamless Integration of Real-Time Communications into CAN-CORBA using Extended IDL and Fast-Track Messages / G. Jeon ; T.-H. Kim
Author Index
Control Theory and Applications
Automation for Shape Control in Stainless Cold Rolling Mill / Y.G. Hur ; D.K. Rhee
Internal Model Control using Recurrent Neural Networks for Nonlinear Dynamic Systems / Y. Li ; D. Powers ; P. Wen
12.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xviii, 827 p. ; 28 cm
所蔵情報: loading…
13.

図書

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

図書

図書
host organizations, Southeast University, Suzhou Municipal Government, Soochow University ; sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xv, 340 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Steering Committee Chair
Message from the Workshop Chair
Message from the Program Co-Chairs
Organizing Committee
Reviewers
Challenges in Future Distributed Systems / Session A1:
Fundamental Research Challenges in Real-Time Distributed Computing / K. H. Kim
Usage Model Considerations for Future Distributed Computing Systems / W.-H. Wang
Web Services / Session B1:
Introducing Compositionality in Web Service Descriptions / M. Solanki ; A. Cau ; H. Zedan
State Management in Web Services / X. Song ; N. Jeong ; P. W. Hutto ; U. Ramachandran ; J. M. Rehg
Pervasive System Architecture I / Session C1:
Friendly Object Tracking and Foreign Object Detection and Localization with an SDAC Wireless Sensor Network / D. Stark ; J. Davis
An Architectural View of the Entities Required for Execution of Task in Pervasive Space / K. Kalapriya ; S. K. Nandy ; V. Satish ; R. Uma Maheshwari ; D. Srinivas
Grid Computing Networks I / Session B2:
Scalability in a GRID Server Discovery Mechanism / S. Dahan ; J.-M. Nicod ; L. Philippe
Providing Network Monitoring Service for Grid Computing / J. Wang ; M. Zhou ; H. Zhou
Towards Supporting Fine-Grained Access Control for Grid Resources / E. Bertino ; P. Mazzoleni ; B. Crispo ; S. Sivasubramanian ; E. Ferrari
Trust Management / Session C2:
An Efficient Key-Evolving Signature Scheme Based on Pairing / Y. Zhu ; D. Xu
IPSec-Based Delegation Protocol and Its Application / D. Das
A Dynamic Trust Model for Mobile Ad Hoc Networks / Z. Liu ; A. W. Joy ; R. A. Thompson
Pervasive System Architecture II / Session B3:
Smart Phone: An Embedded System for Universal Interactions / L. Iftode ; C. Borcea ; N. Ravi ; P. Kang ; P. Zhou
An Architecture for EventWeb / M. Modahl ; I. Bagrak ; M. Wolenetz ; R. Jain
Self-Aware Distributed Embedded Systems / R. Pon ; M. Batalin ; M. Rahimi ; Y. Yu ; D. Estrin ; G. J. Pottie ; M. Srivastava ; G. Sukhatme ; W. J. Kaiser
Enterprise Computing / Session C3:
The vMatrix: Server Switching / A. Awadallah ; M. Rosenblum
Two Stage Optimization of Job Scheduling and Assignment in Heterogeneous Compute Farms / L. Markov
Enterprise Computing in the On Demand Era / A. Neogi ; S. Ghosal
Grid Computing Networks II / Session B4:
Integrating X/Open DTP into Grid Services for Grid Transaction Processing / Z. Qi ; X. Xie ; B. Zhang ; J. You
CNGrid: A Test-Bed for Grid Technologies in China / D. Qian
Pervasive Communication--A Human-Centered Service Architecture / R. Popescu-Zeletin ; S. Steglich ; S. Arbanowski
Software Engineering / Session C4:
Distributed Systems Design Using Function-Class Decomposition with Aspects / C. K. Chang ; T. Kim
CA-PLAN, an Inter-organizational Workflow Model / S.-B. Yan ; F.-J. Wang
PKUAS: An Architecture-Based Reflective Component Operating Platform / H. Mei ; G. Huang
P2P Middleware / Session B5:
GT-P2PRMI: Improving Middleware Performance Using Peer-to-Peer Service Replication / T. Chang ; M. Ahamad
Improving QoS for Peer-to-Peer Applications through Adaptation / D. Hughes ; I. Warren ; G. Coulson
Intrusion Detection / Session C5:
A New Perspective in Defending against DDoS / S. Chen ; R. Chow
A Fuzzy Data Mining Based Intrusion Detection Model / H. Jin ; J. Sun ; H. Chen ; Z. Han
Panel / Session A2:
Current State and Future Trends of Distributed Computing Systems in Asia
Grid Computing in Taiwan / C.-T. Yang ; W. C. Chu
Grid Computing in Hong Kong: Research and Development / F. C. M. Lau ; R. S. C. Ho ; C. L. Wang
Grid Research in China: Origins and Directions / C. Lin ; Z. Shan
Trend of Autonomous Decentralized Systems / K. Mori
Current State and Future Trends in High Performance Computing and Communications (HPCC) Research in India / P. K. Sinha ; S. P. Dixit ; N. Mohanram ; S. C. Purohit ; R. K. Arora ; S. Ramakrishnan
Web Ontology / Session B6:
A Complexity Measure for Ontology Based on UML / D. Kang ; B. Xu ; J. Lu
Mapping Web Services Specifications to Process Ontology: Opportunities and Limitations / J. Shen ; Y. Yang ; B. Lalwani
Data Placement in P2P / Session C6:
Exploiting Semantic Proximity in Peer-to-Peer Content Searching / S. Voulgaris ; A.-M. Kermarrec ; L. Massoulie ; M. van Steen
Scalable, Structured Data Placement over P2P Storage Utilities / Z. Zhang ; M. Mahalingam ; Z. Xu ; W. Tang
Resource Discovery / Session B7:
Estimating Device Availability in Pervasive Peer-to-Peer Environment / Y. Xiong ; X. Lin ; J. A. Rowson
An Adaptive, Lightweight and Energy-Efficient Context Discovery Protocol for Ubiquitous Computing Environments / S. S. Yau ; D. Chandrasekar ; D. Huang
Network Issues / Session C7:
A Distributed Buffer Management Approach Supporting IPv6 Mobility / Y.-H. Liu ; Y.-C. Chen
Analysis and Experimentation of an Open Distributed Platform for Synthetic Traffic Generation / D. Emma ; A. Pescape ; G. Ventre
Autonomic Computing / Session B8:
Platform-Independent Dynamic Reconfiguration of Distributed Applications / J. P. A. Almeida ; M. van Sinderen ; L. F. Pires ; M. Wegdam
Meta-Adaptation in Autonomic Systems / J. Hillman
Autonomous Decentralized Community Construction Technology to Assure Quality of Services / T. Ono ; N. Kaji ; Y. Horikoshi ; H. Kuriyama ; K. Ragab
Container Based Framework for Self-Healing Software System / R. Kumar Ravi ; V. Sathyanarayana
P2P Architectures / Session C8:
Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications / L. Yan ; K. Sere ; X. Zhou ; J. Pang
Random Landmarking in Mobile, Topology-Aware Peer-to-Peer Networks / R. Winter ; T. Zahn ; J. Schiller
The Power of DHT as a Logical Space
Towards a Fully Distributed P2P Web Search Engine / J. Zhou ; K. Li ; L. Tang
Author Index
Message from the Steering Committee Chair
Message from the Workshop Chair
Message from the Program Co-Chairs
15.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xii, 281 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2004  xii, 319 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  viii, 133 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Welcome Message from the Organizing Committee Chairs
Organizing Committee
Grid Management Tools / Session 1:
Autonomic Optimization of an Oil Reservoir Using Decentralized Services / V. Matossian ; M. Parashar
G-Monitor: A Web Portal for Monitoring and Steering Application Execution on Global Grids / M. Placek ; R. Buyya
vGrid: A Framework for Building Autonomic Applications / B. Khargharia ; S. Hariri ; L. Ntaimo ; B. Kim
ADViCE over Grid Services: Initial Deployment / Y. Kim ; I. Ra ; S.-Y. Park ; S. Lee
Algorithms and Tools for Adaptive Systems / Session 2:
Distributed Parallel Computing Using Windows Desktop Systems / D. Hart ; D. Grover ; M. Liggett ; R. Repasky ; C. Shields ; S. Simms ; A. Sweeny ; P. Wang
A Load Balancing Tool for Distributed Parallel Loops / R. Carino ; I. Banicescu
A Diskless Checkpointing Algorithm for Super-Scale Architectures Applied to the Fast Fourier Transform / C. Engelmann ; A. Geist
Distributed Applications / Session 3:
Dynamic Replication to Improve Input/Output Scalability of Genomic Alignment / P. Vaidyanathan ; T. Madhyastha
Towards a Grid-Based Architecture for Traditional Chinese Medicine / H. Chen ; Z. Wu ; C. Huang ; J. Xu
KB-Grid: Enabling Knowledge Sharing on the Semantic Web
Resource Management and Dynamic Scheduling I / Session 4:
Issues in Runtime Algorithm Selection for Grid Environments / P. Bora ; C. Ribbens ; S. Prabhakar ; G. Swaminathan ; M. Chinnusamy ; A. Jeyakumar ; B. Diaz-Acosta
Resource Co-allocation for Parallel Tasks in Computational Grids / L. Wang ; W. Cai ; B.-S. Lee ; S. See ; W. Jie
Scalable State Replication with Weak Consistency / S. Frolund ; V. Kalogeraki ; F. Pedone ; J. Pruyne
Resource Management and Dynamic Scheduling II / Session 5:
Runtime Support for Changing the Communication Model in Large Scale Applications / V. Budau ; G. Bernard
Impact of Admission and Cache Replacement Policies on Response Times of Jobs on Data Grids / E. Otoo ; D. Rotem ; A. Shoshani
Distributing Simulation Work Based on Component Activity: A New Approach to Partitioning Hierarchical DEVS Models / S. Park ; B. Zeigler
Author Index
Welcome Message from the Organizing Committee Chairs
Organizing Committee
Grid Management Tools / Session 1:
18.

図書

図書
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis
出版情報: New York : Association for Computing Machinery, c2009  96 p. ; 28 cm
所蔵情報: loading…
19.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
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…
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, c1997  viii, 297 p. ; 28 cm
所蔵情報: loading…
32.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2006  78 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2007  64 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
in cooperation with IEEE Task Force on Cluster Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xi, 289 p. ; 28 cm
所蔵情報: loading…
42.

図書

図書
editors, Stephen J. Turner, David J. Roberts, and Linda F. Wilson ; sponsored by IEEE Computer Society Technical Committee on Parallel Processing, IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Computer Architecture ; supported by ACM SIGSIM
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xiv, 248 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
edited by Alex Nicolau and Dan Grigoraş
出版情報: Amsterdam ; Tokyo : IOS Press, c2005  xi, 319 p. ; 25 cm
シリーズ名: NATO science series ; ser. 3. Computer and systems sciences ; v. 195
所蔵情報: loading…
44.

図書

図書
[sponsored by IEEE, IEEE Computer Society]
出版情報: Piscataway, NJ : IEEE, 2005  x, 324 p. ; 28 cm
所蔵情報: loading…
45.

図書

図書
edited by Azzedine Boukerche ... [et al.] ; sponsored by IEEE Computer Society Technical Committee on Parallel Processing ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xv, 307 p. ; 28 cm
所蔵情報: loading…
46.

図書

図書
sponsored by IEEE Computer Society TC-MARCH, ACM SIGMICRO
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xi, 237 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
edited by David Bruce, Lorenzo Donatiello, and Stephen Turner ; sponsored by IEEE Computer Society Technical Committee on Simulation (IEEE-TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation (SCS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2000  xviii, 183 p. ; 28 cm
所蔵情報: loading…
48.

図書

図書
IEEE International Conference on Cluster Computing
出版情報: Piscataway, N.J. : IEEE, c2006  vii, 628, 2 p. ; 28 cm
所蔵情報: loading…
49.

図書

図書
edited by Leonard Barolli, Fukuoka Institute of Technology (FIT) ; sponsored by IEEE Computer Society TCDP and TCPP, Fukuoka Institute of Technology (FIT)
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  2 v. ; 28 cm
所蔵情報: loading…
50.

図書

図書
sponsored by ACM [Special Interest Group on Simulation], IEEE Computer Society [Technical Committee on Simulation], and SCS ; David M. Nicol, general chair ; Christopher D. Carothers and Stephen J. Turner, program co-chairs
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xii, 301 p. ; 28 cm
所蔵情報: loading…
51.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
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., c1985  iv, 316 p. ; 28 cm
所蔵情報: loading…
59.

図書

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

図書

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

図書

図書
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  75 p. ; 28 cm
所蔵情報: loading…
62.

図書

図書
editors, Peter Puschner...[et al.] ; Co-sponsored by IEEE Computer Society Technical Committee on Distributed Processing and Communications Research Laboratory, Japan
出版情報: Los Alamitos, Carif. ; Tokyo : IEEE Computer Society, c2003  xii, 301 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Co-Chairs
Message from the Program Committee Co-Chairs
Symposium Committees
Program Committee
Industry Trends / Session 1:
Components Meet Time and Space: Worlds Colliding? / C. Szyperski
Model-Driven Development of Real-Time Software Using OMG Standards / B. Selic
Requisites of Embedded Operating System for Network Electronics / Y. Yokote
Real Time Operating Systems Meet Object-Oriented Middleware / Session 2:
Real Time Distributed Control Systems Using RTAI / L. Dozio ; P. Mantegazza
RTC: A Real-Time Communication Middleware on Top of RTAI-Linux / T. Heimfarth ; M. Gotz ; F. J. Rammig ; F. R. Wagner
Basic Program Structures for Avoiding Priority Inversions / K. H. Kim
Panel--National-Level R&D Programs/Movements in the Software Technology Field / Session 3:
Embedded Linux Outlook in the PostPC Industry / S. Hong
Implication of Embedded Linux in Japanese Embedded Industries / T. Nakajima
Introduction to the TOPPERS Project--Open Source RTOS for Embedded Systems / H. Takada
The Next Generation Software Platform for Mobile Phones / Y. Nakamoto
Specification for Real-Time Systems / Session 4:
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces / H. Kopetz ; N. Suri
General Framework for the Description of QoS in UML / M. A. de Miguel
Special Invited Presentation / Session 5:
Dependability Issue on Autonomic Computing Environment / Y. Tohma
Industrial Track / Session 6:
Towards Model-Based and CCM-Based Applications for Real-Time Systems / W. Roll
A Cooperative Simulation Mechanism of Distributed Control Systems Based on Object-Oriented Design Patterns / T. Tomura ; S. Kanai ; T. Kishinami
Panel--Fundamental Advances Sought / Session 7:
Modeling Distributed Autonomous Robots Using Charon: Formation Control Case Study / Y. Hur ; R. Fierro ; I. Lee
Secure and Safe Real-Time Object-Oriented Systems / Session 8 (Parallel):
Issues with Object Orientation in Verifying Safety-Critical Systems / S. Subbiah ; S. Nagaraj
A Systems Engineering Approach for Constructing Certificable Real-Time Distributed Systems / B. Ravindran ; G. Le Lann ; J. Wang ; P. Li
A Dynamic Shadow Approach for Mobile Agents to Survive Crash Failures / S. Pears ; J. Xu ; C. Boldyreff
Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration / J. Carlson ; T. Lennvall ; G. Fohler
Short Papers / Session 9 (Parallel):
The Event-Triggered and Time-Triggered Medium-Access Methods / V. Claesson ; C. Ekelin
Implementing the Multicast Inter-ORB Protocol / A. N. Bessani ; J. Fraga ; L. C. Lung
Integrating COTS Software Components into Dependable Software Architectures / P. Asterio de C. Guerra ; C. M. F. Rubira ; A. Romanovsky ; R. de Lemos
Design of SMIL Browser Functionality in Mobile Terminals / S. Hieda ; Y. Saida ; H. Chishima ; N. Sato
Middleware and Component-Based Systems / Session 10:
Metrics and Models for Cost and Quality of Component-Based Software / S. Sedigh-Ali ; A. Ghafoor ; R. A. Paul
Object-Oriented Middleware Infrastructure for Distributed Augmented Reality / E. Tokunaga ; A. van der Zee ; M. Kurahashi ; M. Nemoto
Configuration and Dynamic Reconfiguration of Component-Based Applications with Microsoft .NET / A. Rasche ; A. Polze
A Lightweight Middleware Protocol for Ad Hoc Distributed Object Computing in Ubiquitous Computing Environments / S. S. Yau ; F. Karim
Real-Time Applications / Session 11:
Adaptive Use of Network-Centric Mechanisms in Cyber-Defense / M. Atighetchi ; P. Pal ; F. Webber ; C. Jones
VisiTrack-Video Based Incremental Tracking in Real Time / N. Esau ; B. Kleinjohann ; L. Kleinjohann ; D. Stichling
Challenges in Building Scalable Network Centric Real-Time Information Dissemination Systems / S. A. Moody
Design Methods and Tools / Session 12:
A Two-Aspect Approach for a Clearer Behavior Model / C. Mraidha ; S. Gerard ; F. Terrier ; J. Benzakki
Redesigning Legacy Systems into the Object-Oriented Paradigm / W. E. Wong ; J. J. Li
A Supervisory Tool for Real-Time Industrial Automation Systems / W. Pardi, Jr. ; C. E. Pereira
Nested Invocation Protocol for Object-Based Systems / K. Hori ; T. Enokido ; M. Takizawa ; M. Raynal
Performance Analysis and Optimization of Real-Time Systems / Session 13:
Gain Time Reclaiming in High Performance Real-Time Java Systems / E. Y.-S. Hu ; A. Wellings ; G. Bernat
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems / A. Wall ; J. Andersson ; C. Norstrom
Predictable Memory Utilization in the Ravenscar-Java Profile / J. Kwon ; S. King
Real-Time Resource Management and Scheduling / Session 14:
Hybrid Real-Time Task Scheduling upon Multiprocessor Platforms Using Server Techniques / D. A. El-Kebbe
The Design and Implementation of a Real-Time Data Dispatching System / N.-C. Perng ; N.-T. Tsai ; J.-W. Hsieh ; T.-W. Kuo
Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation / G. Konowicz
Author Index
Message from the Symposium Co-Chairs
Message from the Program Committee Co-Chairs
Symposium Committees
63.

図書

図書
editors, Tatsuo Nakajima, Moon Hae Kim ; Co-sponsored by IEEE Computer Society Technical Committee on Distributed Processing and Communications Research Laboratory, Japan
出版情報: Los Alamitos, Carif. ; Tokyo : IEEE Computer Society, c2003  vii, 105 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Workshop Organizers
Embedded Systems / Session 1:
SCA-Based Component Framework for Software Defined Radio / S. Kim ; J. Masse ; S. Hong ; N. Chang
Hardware/Software Co-Configuration for Multiprocessor SoPC / H. Takada ; S. Honda ; R. Nishiyama ; H. Yuyama
Requirements for a Component Framework of Future Ubiquitous Computing / H. Ishikawa ; Y. Ogata ; K. Adachi ; T. Nakajima
A New Defining Approach for Software Requirement Specifications / T. Yamaura ; H. Miyazaki ; A. K. Onoma
Design and Implementation of Transactional Agents / M. Shiraishi ; T. Enokido ; M. Takizawa
A Power-Aware, Best-Effort Real-Time Task Scheduling Algorithm / J. Wang ; B. Ravindran ; T. Martin
Multimedia and Real-Time / Session 2:
Error Resilient Video Transmission over Wireless Networks / G. Ding ; H. Ghafoor ; B. Bhargava
Framework for Development of Multimedia Applications Based on the TMO Structuring Scheme / E. H. Jo ; M. H. Kim ; J.-G. Kim
QoS Management in Multimedia Networking for Telemedicine Applications / A. Bhargava ; M. F. Khan ; A. Ghafoor
Optimization Scheme for Streaming Service Using Coordination Agent in Multimedia Messaging Service Environment / J. Hong ; H. Sung ; J. Song ; S. Han
Ubiquitous Computing / Session 3:
Software Infrastructure for Sentient Materials / T. Shoji ; N. Nakamura ; K. Fujinami
DOLPHIN: An Autonomous Indoor Positioning System in Ubiquitous Computing Environment / Y. Fukuju ; M. Minami ; H. Morikawa ; T. Aoyama
uBlocks: Enabling Hand-Made Distributed Application among Ubiquitous Embedded Devices / M. Iwai ; J. Nakazawa ; H. Tokuda
An Embedded Software Architecture for Connected Multimedia Services in Ubiquitous Network Environment / J.-Y. Kwak ; D.-M. Sul ; S.-H. Ahn ; D.-H. Kim
Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances / T. Watanabe ; K. Yamada ; N. Nagatou
Distributed Real-Time Systems (1) / Session 4:
A New Architecture for Home Computing / K. Matsuura ; T. Hara ; A. Watanabe
Avoiding Timing Problems in Real-Time Software / P. Puschner ; R. Kirner
Formal Probabilistic Refinement Verification of Embedded Real-Time Systems / S. Yamane
Implementing Priority Inheritance Semaphore on uC/OS Real-Time Kernel / J.-H. Lee ; H.-N. Kim
Distributed Real-Time Systems (2) / Session 5:
TMO-Structured Cluster-Based Real-Time Management of Location Data on Massive Volume of Moving Items / Y. Nah ; T. Wang ; K. H. Kim ; Y. K. Yang
A Development of Remote Tracepoint Debugger for Run-Time Monitoring and Debugging of Timing Constraints in Qplus-P RTOS / K. Lee ; J.-S. Kim ; C. Lim
Flexible Group Protocol for Distributed Systems
Clock Synchronization in Wireless Distributed Embedded Applications / Y. S. Hong ; J. H. No
Author Index
Message from the Workshop Organizers
Embedded Systems / Session 1:
SCA-Based Component Framework for Software Defined Radio / S. Kim ; J. Masse ; S. Hong ; N. Chang
64.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xii, 283 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Conference Organizers
Program Committee
External Reviewers
Keynote Talk / Larry Peterson
Fast Communication and Data Grids / Paper Session I:
Zero-Copy for CORBA--Efficient Communication for Distributed Object Middleware / C. Kurmann ; T. Stricker
Optimizing GridFTP through Dynamic Right-Sizing / S. Thulasidasan ; W. Feng ; M. Gardner
Impact of High Performance Sockets on Data Intensive Applications / P. Balaji ; J. Wu ; T. Kurc ; U. Catalyurek ; D. Panda ; J. Saltz
Performance Analysis of Scheduling and Replication Algorithms on Grid Datafarm Architecture for High-Energy Physics Applications / A. Takefusa ; O. Tatebe ; S. Matsuoka ; Y. Morita
Security and Novel Applications / Miron LivnyPaper Session II:
Security for Grid Services / V. Welch ; F. Siebenlist ; I. Foster ; J. Bresnahan ; K. Czajkowski ; J. Gawor ; C. Kesselman ; S. Meder ; L. Pearlman ; S. Tuecke
Distributed Pagerank for P2P Systems / K. Sankaralingam ; S. Sethumadhavan ; J. Browne
Resource Management / Paper Session III:
Trace-Based Simulations of Processor Co-Allocation Policies in Multiclusters / A. Bucur ; D. Epema
Policy Driven Heterogeneous Resource Co-Allocation with Gangmatching / R. Raman ; M. Livny ; M. Solomon
Dynamic Virtual Clusters in a Grid Site Manager / J. Chase ; D. Irwin ; L. Grit ; J. Moore ; S. Sprenkle
Invited Talks I
Grid Services as Research Enabler / Ian Foster
GEON: Cyberinfrastructure for the Geosciences / Chaitan Baru
Structured Data and the Grid: Access and Integration / Malcolm Atkinson
Application Scheduling / Paper Session IV:
Policies for Swapping MPI Processes / O. Sievert ; H. Casanova
RUMR: Robust Scheduling for Divisible Workloads / Y. Yang
Fault Tolerance / Paper Session V:
Grid Workflow: A Flexible Failure Handling Framework for the Grid / S. Hwang
The Ethernet Approach to Grid Computing / D. Thain
Panel
Is the Web Services-Based OGSA an Architecture for All Grids?
Workload Characterization / Paper Session VI:
Pipeline and Batch Sharing in Grid Workloads / J. Bent ; A. Arpaci-Dusseau ; R. Arpaci-Dusseau
Quelling Queue Storms / S. Kleban ; S. Clearwater
Interactive Grids and Quality of Service / Paper Session VII:
SODA: A Service-on-Demand Architecture for Application Service Hosting Utility Platforms / X. Jiang ; D. Xu
An Environment for Enabling Interactive Grids / V. Talwar ; S. Basu ; R. Kumar
Using Views for Customizing Reusable Components in Component-Based Frameworks / A.-A. Ivan ; V. Karamcheti
QoS-Aware Middleware for Cluster-Based Servers to Support Interactive and Resource-Adaptive Applications / S. Senapathi ; B. Chandrasekaran ; D. Stredney ; H. Shen
Resource Discovery / Paper Session VIII:
XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform / D. Spence ; T. Harris
Flexible Information Discovery in Decentralized Distributed Systems / C. Schmidt ; M. Parashar
PlanetP: Using Gossiping to Build Content Addressable Peer-to-Peer Information Sharing Communities / F. Cuenca-Acuna ; C. Peery ; R. Martin ; T. Nguyen
Invited Talks II
European Union Data Grid / Erwin Laure
NEESGrid: The National Virtual Collaboratory for Earthquake Engineering / Carl Kesselman
Resource Monitoring / Paper Session IX:
Resource-Aware Stream Management with the Customizable dproc Distributed Monitoring Mechanisms / S. Agarwala ; C. Poellabauer ; J. Kong ; K. Schwan ; M. Wolf
Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model / R. Sundaresan ; M. Lauria ; S. Parthasarathy
A Performance Study of Monitoring and Information Services for Distributed Systems / X. Zhang ; J. Freschl ; J. Schopf
Author Index
Message from the General Chair
Message from the Program Chair
Conference Organizers
65.

図書

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

図書

図書
edited by George F. Riley and Philip A. Wilsey, sponsored by IEEE Computer Society Technical Committee on Simulation (TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Modeling and Simulation International(SCS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  x, 189 p. ; 28 cm
所蔵情報: loading…
67.

図書

図書
[sponsored by IEEE Computer Society, Information Processing Society of Japan, Society of Instrument and Control Engineers of Japan, Institute of Electronics, Information, and Communication Engineers, Japan, AICA]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xvi, 336 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message
Program Chair's Message
Committees
Reviewers
Kanai Award 2001
Distributed Systems: Lessons Learned and Challenges Remaining / Alfred Z. Spector
Kanai Award 2002
Software Development Support for Next-Generation Distributed Embedded Systems / Stephen S. Yau
Keynote Address 1
Autonomic Computing / David L. Cohn
Group Coordination and Management / Session 1:
Managing Dynamic Groups of Mobile Systems / S. Schemmer ; E. Nett
Assuring Interoperability in Heterogeneous, Autonomous and Decentralized Multi-Agent Systems / H. Suguri ; E. Kodama ; M. Miyazaki
Dynamic Information Allocation through Mobile Agents to Achieve Load Balancing in Evolving Environment / H. F. Ahmad
Architectures 1 / Session 2:
The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture / G. Bauer ; H. Kopetz ; W. Steiner
An Adaptable Architecture for Secure Delivery of Converged Services / J. Li ; W. Chou ; X. Shan ; F. Liu ; W. E. Wong
A GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software / K. H. Kim ; S.-J. Kang
Application Based on Agents and Mobility / Session 3:
Distributed Motion Coordination with Co-Fields: A Case Study in Urban Traffic Management / M. Mamei ; F. Zambonelli ; L. Leonardi
Proposal of an Autonomous Group-Management Model and Its Application to Intelligent Transport System / A. Shimura ; T. Sakaibara ; M. Hiraiwa ; T. Aizono
Hand-OLAP: A System for Delivering OLAP Services on Handheld Devices / A. Cuzzocrea ; F. Furfaro ; D. Sacca
Keynote Address 2
Strategic Railway Systems Using ADS Technologies in Japan / Yoshio Ishida
Fault Tolerance / Session 4:
Structuring Integrated Web Applications for Fault Tolerance / A. Romanovsky ; P. Periorellis ; A. F. Zorzo
Message Logging and Recovery in Wireless CORBA Using Access Bridge / X. Chen ; M. R. Lyu
Mobile Agent Fault Tolerance for Information Retrieval Applications: An Exception Handling Approach / S. Pears ; J. Xu ; C. Boldyreff
Real-Time / Session 5:
Predicting Timeliness of Reactive Systems under Flexible Scheduling / G. Bucci ; A. Fedeli ; E. Vicario
Dynamic Three-Value Logic in Decentralized Time-Critical Domains / M. G. Ceruti ; S. H. Rubin
Fault Containment and Error Detection in the Time-Triggered Architecture
Security and QoS / Session 6:
Specification of Secure Distributed Collaboration Systems / A. R. Tripathi ; T. Ahmed ; R. Kumar
Managing eBusiness on Demand SLA Contracts in Business Terms Using the Cross-SLA Execution Manager SAM / M. Buco ; R. Chang ; L. Luan ; C. Ward ; J. Wolf ; P. Yu
Panel Session
Uncertain, Dynamic, Out of Control? Coordination and Cooperation in Next Generation Systems
Keynote Address 3
The Modest Software Engineer / Martyn Thomas
Verification and Testing / Session 7:
TTCN-3 Based Online Test and Validation Platform for Internet Services / P. H. Deussen ; G. Din ; I. Schieferdecker
Software Testing for Mobile and Ubiquitous Computing / I. Satoh
A Rigorous Approach to Modeling Autonomous Traffic Control Systems / V. S. Alagar ; D. Muthiayen
Special Session Research and Development of Autonomous Decentralized Systems in East Asia I / Session I-1:
A Train Control System for Low-Density Lines Based on Intelligent Autonomous Decentralized System (IADS) / T. Tao ; B. Cai
Autonomous Coordination in Sensor Networks: Heterogeneous ADS / Y. Tan ; Q. Li ; Q. Qian ; K. Mori
Study on Essential Characteristics of RITS / J. Limin ; J. Qiuhua
Information Dissemination / Session 8:
Autonomous Integration and Provision of Heterogeneous Information Services in Distributed Information System / X. Lu ; Y. Zhou ; H. Arfaoui
I-Centric Services Based on Super Distributed Objects / S. Steglich ; R. N. Vaidya ; O. Gimpeliovskaja ; S. Arbanovski ; R. Popescu-Zeletin ; S. Sameshima ; K. Kawano
An Approach to Developing Information Dissemination Service for Ubiquitous Computing Applications / S. S. Yau ; S. I. Ahamed
Special Session Research and Development of Autonomous Decentralized Systems in East Asia II / Session I-2:
Flexible Autonomous Decentralized Technology for Heterogeneous Requirements from Reusable Launch Vehicle / T. Morito ; M. Ohno ; M. Wakamiya
Assurance Technology for Coexisting Test and Operation Subsystems and Its Application to Train Control System / M. Matsumoto
Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System / K. Kera ; K. Bekki ; H. Osumi
Networks / Session 9:
Implementation and Evaluation of Autonomous Decentralized System Based Mobile Communications Platform for ITS Services
A Distributed Network Connectivity Algorithm / E. P. Duarte Jr. ; A. Weber
An Adaptive Multihop Clustering Scheme for Highly Mobile Ad Hoc Networks / T. Ohta ; S. Inoue ; Y. Kakuda
Architecture 2 / Session 10:
Patia: Adaptive Distributed Webserver (A Position Paper) / J. A. McCann ; G. Jawaheer ; L. Sun
Stability and Adaptability of Autonomous Decentralized Flow Control in High-Speed Networks / C. Takano ; M. Aida
An Experience on CORBA Component Deployment / M. C. B. Barros ; E. R. M. Madeira ; I. Sotoma
Panel Session: The Future of Autonomous Decentralized Systems
The Future of Autonomous Decentralized Systems
Autonomy and Community
Supporting Future ADS Applications in Ubiquitous Computing Environments Using Adaptive, Context-Sensitive Middleware
Dependable Computing for National Security: A Position Paper / B. Thuraisingham
Author Index
General Chair's Message
Program Chair's Message
Committees
68.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xii, 378 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Steering Committee Chair
Message from the Workshop Chair
Message from the Program Co-Chairs
Workshop Organization
System Architectures / Session 1A:
A System Architecture for Distributed Control Loop Applications / U. Ramachandran ; P. Hutto ; B. Agarwalla ; M. Wolenetz
Autonomous Decentralized Community Concept and Architecture for a Complex Adaptive Information System / K. Ragab ; T. Ono ; N. Kaji ; K. Mori
The Road to More Configurable and Adaptive Communication and Coordination Support / L. Rodrigues
Information Dissemination / Session 1B:
pFilter: Global Information Filtering and Dissemination Using Structured Overlay Networks / C. Tang ; Z. Xu
Using a Distributed Snapshot Algorithm in Wireless Sensor Networks / A. da Silva ; F. Teixeira ; R. Lage ; L. Ruiz ; A. Loureiro ; J. Nogueira
Personalized Information Dissemination Using Agents Organizations / J. Gomez-Sanz ; J. Pavon
Distributed Software / Session 2A:
Architecture and Operation of an Adaptable Communication Substrate / S. Sadjadi ; P. McKinley ; E. Kasten
Supporting Agent-Based Distributed Software Development through Modeling and Simulation / L. Cai ; C. Chang ; J. Cleland-Huang
Measuring and Tracking Distributed Software Development Projects / D. Simmons
Seamless Integration of Distributed Internet Devices for Pervasive Architecture / T. Pfeirfer ; R. Popescu-Zeletin
Distributed Programming / Session 2B:
Programming Computers Embedded in the Physical World / L. Iftode ; C. Borcea ; A. Kochut ; C. Intanagonwiwat ; U. Kremer
Using UML for Service Creation / C. Farias
Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing / S. Yau ; Y. Wang ; D. Huang
SLAng: A Language for Defining Service Level Agreements / D. Lamanna ; J. Skene ; W. Emmerich
Distributed Memory and Files / Session 3A:
GIDM: Globally-Indexed Distributed Memory / H. Kuang ; L. Bic ; M. Dillencourt
Towards a Semantic, Deep Archival File System / M. Mahalingam
Distributed Shared State / M. Scott ; D. Chen ; S. Dwarkadas
Analysis of Parallel Downloading for Large File Distribution / S. Koo ; C. Rosenberg ; D. Xu
Mobile Computing / Session 3B:
Autonomous Transaction Processing Using Data Dependency in Mobile Environments / I. Chung ; B. Bhargava ; M. Mahoui ; L. Lilien
Fault-Tolerant Mobile Agents in Distributed Objects Systems / M. Shiraishi ; T. Enokido ; M. Takizawa
Core Services in a Middleware for Mobile Ad-hoc Networks / M. Avvenuti ; D. Pedroni ; A. Vecchio
Looking for a Common View for Mobile Worlds / M. Gradinariu ; M. Raynal ; G. Simon
Replication and Coordination / Session 4A:
Binding Clients to Replicated Servers: Initial and Continuous Binding / H. Jun ; M. Sanders ; M. Ammar ; E. Zegura
Autonomous Coordination in the Information Allocation in Distributed Database Systems for Assurance / C. Leguizamo
Adopting Redundancy Techniques for Multicast Stream Authentication / T. Cucinotta ; G. Cecchetti ; G. Ferraro
JTEAM: A Framework for Effective Teamwork of BDI-Based Agents / C.-L. Hsu ; S.-F. Chou ; J.-C. Tsay ; F.-J. Wang
QoS and Service Provisioning / Session 4B:
Resource- and Quality-Aware Application-Level Service Multicast / J. Jin ; K. Nahrstedt
Service Provisioning and Management in Virtual Private Active Networks / F. Verdi ; E. Madeira
Q-Mar: A QoS Resource Conflict Identification Model for Situation-Aware Middleware / H. In ; C. Kim ; U. Yun
Queue Management for QoS Provision Build on Network Processor / W. Zhou ; C. Lin ; Y. Li ; Z. Tan
Middleware Services / Session 5A:
Dynamic Component Composition for Functionality Adaptation in Pervasive Environments / N. Belaramani ; C.-L. Wang ; F. Lau
Secure Middleware for Situation-Aware Naval C[superscript 2] and Combat Systems / R. Bharadwaj
Ubiquitous Computing with Service Adaptation Using Peer-to-Peer Communication Framework / T. Iwao ; S. Amamiya ; G. Zhong ; M. Amamiya
Towards Middleware Services for Ad-Hoc Network Applications / T. Plagemann ; V. Goebel ; C. Griwodz ; P. Halvorsen
Communication Protocols / Session 5B:
Network Tomography-Based Unresponsive Flow Detection and Control / A. Habib
Communication Protocol for a Hierarchical Group / K. Taguchi
Flexible Group Communication Protocol
On-Demand Media Streaming over the Internet / M. Hefeeda
Web-Based Systems / Session 6A:
Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems / W. Tsai ; L. Yu ; A. Saimi ; R. Paul
Design and Implementation of a Web-Based Real-Time Interactive Collaboration Environment / H. Hong ; Y. Chen
Website Evolution Based on Statistic Data / L. Xu ; B. Xu ; Z. Chen ; H. Chen
Routing Control / Session 6B:
Message Ferrying: Proactive Routing in Highly-Partitioned Wireless Ad Hoc Networks / W. Zhao
Optimizing Routing in Structured Peer-to-Peer Overlay Networks Using Routing Table Redundancy / R. Zhang ; Y. Hu ; P. Druschel
On Event Routing in Content-Based Publish/Subscribe through Dynamic Networks / A. Virgillito ; R. Beraldi ; R. Baldoni
Scheduling / Session 7A:
Gang Scheduling in a Distributed System Under Processor Failures and Time-Varying Gang Size / H. Karatza
Modeling and Performance Analysis of a Multiserver Multiqueue System on the Grid / Z. Shan ; F. Ren ; Y. Wei
Toward Easily Analyzable Sensor Networks via Structuring of Time-Triggered Tasks / K. Kim
Distributed Applications / Session 7B:
Exhaustive Search for Costas-Type Sequences for Multi-Target Recognition / O. Moreno ; D. Bollman ; L. Yuchun
Application Domain Accounting for Roaming Services / P. Bellavista ; A. Corradi ; S. Vecchi
Developing a Common Operating Environment for Military Application / J. Kim ; J.-S. Lee ; D. Bae ; D.-K. Ryu ; S.-I. Lee
Panel / Session 8:
Challenges of Future Distributed Computing Systems
Author Index
Message from the Steering Committee Chair
Message from the Workshop Chair
Message from the Program Co-Chairs
69.

図書

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

図書

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

図書

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

図書

図書
edited by Krzysztof R. Apt
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  viii, 498 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 13
所蔵情報: loading…
73.

図書

図書
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles
出版情報: New York, NY : Association for Computing Machinery , Baltimore, MD : Order from ACM Order Dept., c1984  iv, 301 p. ; 28 cm
所蔵情報: loading…
74.

図書

図書
edited by Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 379 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 28
所蔵情報: loading…
75.

図書

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

図書

図書
Compcon ; IEEE Computer Society
出版情報: New York, N.Y. : Institute of Electrical and Electronics Engineers, c1980  xi, 746 p. ; 28 cm
所蔵情報: loading…
77.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xviii, 772 p. ; 28 cm
所蔵情報: loading…
83.

図書

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

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  ix, 174 p. ; 28 cm
所蔵情報: loading…
85.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing, University of Maryland Institute for Advanced Computer Studies
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  ix, 243 p. ; 28 cm
所蔵情報: loading…
86.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xv, 618 p. ; 29 cm
所蔵情報: loading…
87.

図書

図書
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, c1996  xi, 344 p. ; 28 cm
所蔵情報: loading…
88.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Distributed Processing ... [et al.] ; in cooperation with Rome Laboratory
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xviii, 642 p. ; 28 cm
所蔵情報: loading…
89.

図書

図書
SIGSMALL Symposium ; Gorsline, G. W. ; Association for Computing Machinery. Special Interest Group on Small and Personal Computing Systems and Applications
出版情報: New York, N.Y. : The Association for Computing Machinery , Baltimore, Md. : Additional copies, ACM Order Dept., c1982  v, 87 p. ; 28 cm
所蔵情報: loading…
90.

図書

図書
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, c1995  viii, 276 p. ; 28 cm
所蔵情報: loading…
91.

図書

図書
edited by S.V. Raghavan and Bijendra N. Jain
出版情報: London : Chapman & Hall, 1995  vi, 371 p. ; 25 cm
所蔵情報: loading…
92.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1995  xiv, 239 p. ; 28 cm
所蔵情報: loading…
93.

図書

図書
edited by Kerry Raymond and Liz Armstrong
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1995  xii, 516 p. ; 24 cm
所蔵情報: loading…
94.

図書

図書
sponsored by IEEE Technical Committee on Distributed Processing Northeast Parallel Architectures Center (NPAC) at Syracuse University ; in cooperation with ACM SIGCOMM Rome Laboratory
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xiv, 246 p. ; 28 cm
所蔵情報: loading…
95.

図書

図書
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with IFIP WG 10.4 on Dependable Computing ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xi, 531 p. ; 28 cm
所蔵情報: loading…
96.

図書

図書
edited by Dieter Hogrefe and Stefan Leue
出版情報: London ; Tokyo : Chapman & Hall on behalf of the International Federation for Information Processing, 1995  x, 520 p. ; 25 cm
所蔵情報: loading…
97.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995  xvii, 724 p. ; 29 cm
所蔵情報: loading…
98.

図書

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

図書

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

図書

図書
edited by Alexander Schill ... [et al.]
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vii,515p ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼