Trends in Distributed Systems: CORBA and Beyond
Title | Trends in Distributed Systems: CORBA and Beyond PDF eBook |
Author | Otto Spaniol |
Publisher | Springer Science & Business Media |
Pages | 310 |
Release | 1996-09-25 |
Genre | Computers |
ISBN | 9783540618423 |
Proceedings -- Parallel Computing.
Trends in Distributed Systems
Title | Trends in Distributed Systems PDF eBook |
Author | Otto Spaniol |
Publisher | |
Pages | 304 |
Release | 2014-01-15 |
Genre | |
ISBN | 9783662201954 |
Distributed Platforms
Title | Distributed Platforms PDF eBook |
Author | Alexander Schill |
Publisher | Springer |
Pages | 507 |
Release | 2013-04-18 |
Genre | Technology & Engineering |
ISBN | 0387349472 |
Client/Server applications are of increasing importance in industry, and have been improved by advanced distributed object-oriented techniques, dedicated tool support and both multimedia and mobile computing extensions. Recent responses to this trend are standardized distributed platforms and models including the Distributed Computing Environment (DCE) of the Open Software Foundation (OS F), Open Distributed Processing (ODP), and the Common Object Request Broker Architecture (CORBA) of the Object Management Group (OMG). These proceedings are the compilation of papers from the technical stream of the IFIPIIEEE International Conference on Distributed Platforms, Dresden, Germany. This conference has been sponsored by IFIP TC6.1, by the IEEE Communications Society, and by the German Association of Computer Science (GI -Gesellschaft fur Informatik). ICDP'96 was organized jointly by Dresden University of Technology and Aachen University of Technology. It is closely related to the International Workshop on OSF DCE in Karlsruhe, 1993, and to the IFIP International Conference on Open Distributed Processing. ICDP has been designed to bring together researchers and practitioners who are studying and developing new methodologies, tools and technologies for advanced client/server environ ments, distributed systems, and network applications based on distributed platforms.
Specification and Proof in Real Time CSP
Title | Specification and Proof in Real Time CSP PDF eBook |
Author | Jim Davies |
Publisher | Cambridge University Press |
Pages | 200 |
Release | 1993-05-20 |
Genre | Computers |
ISBN | 9780521450553 |
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method for structuring CSP descriptions of layered protocols is given. The research contained here represents the very latest work on the specification and verification of real-time systems.
Formal Methods for Distributed Processing
Title | Formal Methods for Distributed Processing PDF eBook |
Author | Howard Bowman |
Publisher | Cambridge University Press |
Pages | 494 |
Release | 2001-10-22 |
Genre | Computers |
ISBN | 9780521771849 |
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.
SOFSEM '98: Theory and Practice of Informatics
Title | SOFSEM '98: Theory and Practice of Informatics PDF eBook |
Author | Branislav Rovan |
Publisher | Springer |
Pages | 465 |
Release | 2003-06-29 |
Genre | Computers |
ISBN | 3540494774 |
This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'98, held in Jasna, Slovakia, in November 1998. The volume presents 19 invited survey articles by internationally well-known authorities together with 18 revised full research papers carefully reviewed and selected for inclusion in the book. The areas covered include history of models of computation, algorithms, formal methods, practical aspects of software engineering, database systems, parallel and distributed systems, electronic commerce, and electronic documents and digital libraries.
Software Architecture
Title | Software Architecture PDF eBook |
Author | Flavio Oquendo |
Publisher | Springer Science & Business Media |
Pages | 289 |
Release | 2004-05-11 |
Genre | Computers |
ISBN | 3540220003 |
This book constitutes the refereed proceedings of the First European Workshop on Software Architecture, EWSA 2004, held in St Andrews, Scotland, UK in May 2004 in conjunction with ICSE 2004. The 9 revised full research papers, 4 revised full experience papers, and 6 revised position papers presented together with 5 invited presentations on ongoing European projects on software architectures were carefully reviewed and selected from 48 submissions. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues of practical relevance.