Jean-Bernard Stefani

Gordon Blair

The need to support multimedia in Open Distributed Processing (ODP) environments is a major challenge when setting up distributed network systems. This book has been written specifically to address the problems of supporting multimedia applications, such as desktop conferencing, multimedia email, video-on-demand systems and virtual reality environments, in ODP standards and platforms. This book provides: an introduction to the field of ODP, with detailed descriptions of ISO's RM-ODP, OMG's CORBA and Open Group's DC a description of the requirements of distributed multimedia applications (in terms of support for continuous media, quality of service, real-time synchronization and multiparty communications an evaluation of these ODP platforms with respect to their support for multimedi a detailed description of an architecture for ODP standards and platforms supporting multimedi a description of two proof-of-concept demonstrators focusing on the programming model and on engineering support For information on Middleware '98 , IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, 15-18 September 1998, link to:

Open Distributed Processing and Multimedia

Jean Krivine

This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.

7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Reversible Computation

Elie Najm

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996.

Formal Methods for Open Object-based Distributed Systems

Isabelle Demeure

Fédération internationale pour le traitement de l'information. Working Group 6.1

Daniel Hagimont

This book constitutes the refereed proceedings of the 4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2003, held in Paris, France, in November 2003. The 21 revised full papers and 6 revised short papers presented were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on adaptation and separation of concerns; deployment; security and transactions; replication; networking and routing; discovery, context-awareness, and ontologies; and asynchronous messaging.

Jean-Bernard Stefani

Books

Your next favorite book is out there