Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation -- including the -calculus, the actor model, the join calculus, and mobile ambients -- are explained with a focus on how they help design and reason about distributed and mobile computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model. The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.
Описание: Making I/T Work offers managers basic guidance and an effective model for making the right choices when considering implementing information-based business projects. In this book, Dennis Severanced Jacque Passino provide business leaders with a framework of organizational change that places the problems of change into a context so that they can be effectively addressed and outlines a proven framework that can be adapted to a variety of situations. Making I/T Work offers managers A framework for managing I/T investment opportunities Fifty helpful questions for leading a program of strategic change Guidance for overcoming the powerful blocks to changes in infrastructure Suggestions for formulating a winning strategy A model for preparing and implementing a project Information on how to assess the success of a program Making I/T Work can help managers guide a strategic I/T transformation with a plan that is based on a strong sense of objective and a credible assessment of current realities.
Описание: This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002.The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.
Описание: This book constitutes the refereed proceedings of the Joint International Workshops on Interactive Distributed Multimedia Systems and Protocols for Multimedia Systems, IDMS/PROMS 2002, held in Coimbra, Portugal in November 2002.The 30 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on performance of protocols and applications, mobile multimedia systems, standards and related issues, quality of service, video systems and applications, resource management, and multimedia support.
Описание: This book constitutes the refereed proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, held in Montreal, Canada, in October 2002.The 16 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on managing quality of service, measuring quality of service, service architectures, policy and process, and fault analysis.
Описание: The engineering life cycle for complex systems design and development requires the set-up of adequate and controlled processes involving different partners and disciplines. The design integration and the final physical/functional integration and qualification imply a high degree of cross-interaction among all partners.This book documents the outcome of a European project on distributed system environments by presenting the results of the user's requirements analysis and assessing the current available technology such as collaboration systems design, analysis, and verification; middleware; product data and workflow management; multicast communication; network QoS management; and groupware. Besides technical results, the book surveys and classifies existing products and tools for collaborative distributed systems engineering.
Описание: This book constitutes the refereed proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms, Middleware 2001, held in Heidelberg, Germany, in November 2001.The 20 revised full papers presented were carefully reviewed and selected from a total of 116 submissions. The papers are organized in topical sections on Java, mobility, distributed abstractions, reliability, home and office, scalability, and quality of service.
Описание: This book constitutes the refereed proceedings of the International Workshop on Policies for Distributed Systems and Networks, POLICY 2001, held in Bristol, UK in January 2001. The 16 revised full papers presented were carefully reviewed and selected from 43 submissions. Among the topics covered are abstractions and notations for policy specifications, security policies, access control, implementations, applications, quality of service, and management.
Автор: MГјhl Gero, Fiege Ludger, Pietzuch Peter Название: Distributed Event-Based Systems ISBN: 3540326510 ISBN-13(EAN): 9783540326519 Издательство: Springer Рейтинг: Цена: 9239 р. Наличие на складе: Поставка под заказ.
Описание: Provides an in-depth description of event-based systems, covering topics ranging from a treatment of local event matching and distributed event forwarding algorithms, through a more practical discussion of software engineering issues. This book offers a comprehensive overview of the area, with many hints for future research.
Описание: This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003.The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification.
Описание: This book constitutes the refereed proceedings of the 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, held in Heidelberg, Germany in October 2002.The 20 revised full papers and 6 revised short papers presented together with a keynote paper were carefully reviewed and selected from a total of 105 submissions. The papers are organized in topical sections on self-configuration, peer-to-peer management, self-optimization and performance management, utility management, self-protection and access control, manageability and instrumentation, and context-awareness.
Описание: The book presents a specialized topic in the area of database management. Every researcher working in this area is bound to use some of the techniques presented here. The complexity of the subject is handled in a detailed way so as to give down-to-earth explanations. One of the unique features of the work is the presentation of a collective view of common issues prevailing in several domains, including distributed databases. This approach enables the reader to appreciate the use of the tools and techniques developed, in the context of distributed databases applied to several domains, thus favoring multi-disciplinary research activity. Audience: Graduate Students, researchers and theoretical computer scientists. A very modest pre-requisite knowledge of discrete mathematics, basic linear algebra and calculus is expected. In order to be readily understandable, mathematical rigor is developed in a step-by-step manner.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru