This book constitutes the refereed proceedings of the ACM/IFIP/USENIX International Conference on Distributed Systems Platforms, Middleware 2004, held in Toronto, Canada in October 2004. The 25 revised full papers presented together with an invited paper were carefully reviewed and selected from a total of 194 submissions. The papers are organized in topical sections on peer-to-peer computing; routing protocols and overlay; middleware for replication and overlay; middleware for replication and transactions; publish/subscribe systems; Web services: composition, integration, and interoperatibilty; middleware for mobility; application servers, enterprise computing, and software engineering.

We are pleased to welcome you to the eleventh edition of the Middleware c- ference. The program this year is a sign of the robustness, activity, and cont- ued growth of the Middleware community. As computing technology around us has evolved rapidly over the past decade, our notions of middleware have also adapted so that we stay focused on the most challenging and relevant problems for the present and future. As a result, this year’s program features papers that belong to both tra- tional areas as well as new directions. Cloud computing, social middleware, and transactional memory are some of the vanguard areas that you will ?nd in this year’s selection of papers. In addition, topics that have always been central to the community are also prominent this year, including publish-subscribe, mul- cast,reliability, legacy,location-awareness,trust, and security.The community’s wise evolutionre?ects the dynamic role that middleware continues to play in the development of current software systems. The program underscores the competitive selection process applied by us and the technical programcommittee: out of 116 papers submitted this year,we accepted 18 for regular publication. In addition Middleware 2010 also includes a new category of “Big Ideas Papers,” which are bold white papers with the potentialtodrivelonger-terminnovationinthe?eld.Weselectedone“bigideas” paper this year. Our industrial track once againbrings forth papers that explore middleware foundations in the context of industrial practice. Finally, multiple workshops and a doctoral symposium round o? Middleware this year, making it an attractive conference for students, faculty, researchers, and practitioners.

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX International Conference on Distributed Systems Platforms, Middleware 2005, held in Grenoble, France in November/December 2005. The 18 revised full papers and 6 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on security and privacy, peer-to-peer computing, XML and service discovery, distribution and real time processing, publish/subscribe systems and content distribution, and middleware architecture.

Device miniaturization, wireless computing, and mobile communication are driving ubiquitous, pervasive, and transparent computing. Supporting these rapidly evolving technologies requires middleware solutions that address connectivity-level, location-dependent, and context-dependent issues. The Handbook of Mobile Middleware is an exhaustive o

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held in Leuven, Belgium, in December 2008. The 21 revised full papers presented were carefully reviewed and selected from 117 submissions for inclusion in the book. The papers are organized in topical sections on platforms extended to new capabilities, advanced software engineering focusing on specific system properties, system management techniques, as well as components and system algorithms and properties.

Current middleware solutions, e.g., application servers and Web services, are very complex software products that are hard to tame because of intricacies of distributed systems. Their functionalities have mostly been developed and managed with the help of administration tools and corresponding configuration files, recently in XML. Though this constitutes flexibility for developing and administrating a distributed application, the conceptual model underlying the different configurations is only implicit. To remedy such problems, Semantic Management of Middleware contributes an ontology-based approach to support the development and administration of middleware-based applications. The ontology is an explicit conceptual model with formal logic-based semantics. Its descriptions may therefore be queried, may foresight required actions, or may be checked to avoid inconsistent system configurations. This book builds a rigorous approach towards giving the declarative descriptions of components and services a well-defined meaning by specifying ontological foundations and by showing how such foundations may be realized in practical, up-and-running systems.

This two-volume set LNCS 3760/3761 constitutes the refereed proceedings of the three confederated conferences CoopIS 2005, DOA 2005, and ODBASE 2005 held as OTM 2005 in Agia Napa, Cyprus in October/November 2005. The 89 revised full and 7 short papers presented together with 3 keynote speeches were carefully reviewed and selected from a total of 360 submissions. Corresponding with the three OTM 2005 main conferences CoopIS, DOA, and ODBASE, the papers are organized in topical sections on workflow, workflow and business processes, mining and filtering, petri nets and processs management, information access and integrity, heterogeneity, semantics, querying and content delivery, Web services, agents, security, integrity and consistency, chain and collaboration mangement, Web services and service-oriented architectures, multicast and fault tolerance, communication services, techniques for application hosting, mobility, security and data persistence, component middleware, java environments, peer-to-peer computing architectures, aspect oriented middleware, information integration and modeling, query processing, ontology construction, metadata, information retrieval and classification, system verification and evaluation, and active rules and Web services.

This volume presents two regular revised papers, a guest editors' introduction, and six papers in a special section that have been through a careful peer reviewing process by the journal's Editorial Board. Besides a wide range of topics from software design to implementation of aspect-oriented languages, the six papers of the special section concentrate on AOP systems, software and middleware.

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.