Sudipto Ghosh, chair/editor ; sponsored ... by SPIE--the International Society for Optical Engineering ; cooperating organization, Colorado Photonics Industry Association
出版情報:
Bellingham, Wash., USA : SPIE, c2001 vii, 154 p. ; 28 cm
Xubang Shen, Jianguo Liu, chairs/editors ; sponsored by SPIE--the International Society for Optical Engineering [and] Huazhong University of Science and Technology (China) ; cosponsored by Université de Bordeaux III (France) ... [et al.] ; supported by National Natural Science Foundation of China [and] Ministry of Education of China
出版情報:
Bellingham, Wash., USA : SPIE, c2001 ix, 166 p. ; 28 cm
Dordrecht, Holland ; Boston : D. Reidel Pub. Co. , Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1981 x, 415 p. ; 25 cm
Howard Jay Siegel, editor ; cosponsored by ACM SIGARCH and the IEEE Computer Society, TCCA, TCCC, TCDP, in cooperation with the School of Electrical Engineering, Purdue University
出版情報:
[New York, NY] : Institute of Electrical and Electronics Engineers , Long Beach, CA : Available from IEEE Computer Society, c1980 124 p. ; 28 cm
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
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
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
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
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:
A Case for Message Oriented Middleware / Guruduth Banavar ; Tushar Chandra ; Robert Strom ; Daniel Sturman
Regular Papers
Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast (Won the Best Student Paper Award) / Marcos Kawazoe Aguilera ; Sam Toueg ; Borislav Deianov
Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems / Mikel Larrea ; Sergio Arevalo ; Antonio Fernandez
Remote Service Deployment on Programmable Switches with the IETF SNMP Script MIB / Jürgen Quittek ; Cornelia Kappler
Integrating SNMP into a Mobile Agent Infrastructure / Paulo Simões ; Luis Moura Silva ; Fernando Boavida Fernandes
JAMAP: A Web-based Management Platform for IP Networks / Jean-Philippe Martin-Flatin ; Laurent Bovet ; Jean-Pierre Hubaux
Management of Programmable and Active Networks
Service Configuration and Management in Adaptable Networks / Livio Ricciulli
Virtual Active Networks - Safe and Flexible Environments for Customer-managed Services / Marcus Brunner ; Rolf Stadler
Accelerating Code Deployment on Active Networks / Tôru Egashira ; Yoshiaki Kiriha
Are Programmable Networks Unmanageable?
IT and Enterprise Management
Characterization and Measurements of Enterprise Network Traffic with RMON2 / Luciano Paschoal Gaspary ; Liane Rockenbach Tarouco
Derivation of Backup Service Management Applications from Service and System Models / Ingo Lück ; Marcus Schönbach ; Arnulf Mester ; Heiko Krumm
A Framework for the Integration of Legacy Devices into a Jini Management Federation / Gerd Aschemann ; Svetlana Domnitcheva ; Peer Hasselmeyer ; Roger Kehr ; Andreas Zeidler
Management Tools
Ntop: Beyond ping and traceroute / Luca Deri ; Stefano Suin
EventBrowser: A Flexible Tool for Scalable Analysis of Event Data / Sheng Ma ; Joseph L. Hellerstein
Challenges for Management Research
Author Index
Decentralized Monitoring and Anomaly Detection
On the Performance and Scalability of Decentralized Monitoring Using Mobile Agents / Antonio Liotta ; Graham Knight ; George Pavlou
Programmable Agents for Active Distributed Monitoring / Ehab S. Al-Shaer
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
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
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