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