This book constitutes the proceedings of the 10th International Conference on Middleware, held in Urbana, IL, USA during November 30 - December 4. The 21 papers presented have been selected from 110 submissions. The papers are organized in topical sections on communications (protocols and optimization), service component composition/adaption, monitoring, pervasive, stream processing, failure resilience, and support for testing.

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 thoroughly refereed proceedings of the 4th International Conference on Mobile Wireless Middleware, Operating Systems, and Applications, Mobilware 2011, held in London, UK, in June 2011. The 21 revised full papers presented were carefully reviewed and selected from numerous contributions. The papers are organized in topical sections on mobile systems in education, SOC for mobile Apps (SOC), networking platforms (NW), mobile execution frameworks (MFW), mobile cloud (MC) and distributed execution, and mobile sensor networks.

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 12th International Middleware Conference, held in Lisbon, Portugal, in December 2011. The 22 revised full papers presented together with 2 industry papers and an invited paper were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on social networks, storage and performance management, green computing and resource management, notification and streaming, replication and caching, security and interoperability, and run-time (re)configuration and inspection.

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 13th International Middleware Conference, held in Montreal, Canada, in December 2012. The 24 revised full papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on mobile middleware; tracing and diagnosis; architecture and performance; publish/subscribe middleware; and big-data and cloud computing; availability, security and privacy.

This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Mobile Wireless Middleware, Operating Systems, and Applications, Mobilware 2012, held in Berlin, Germany, in November 2012. The 18 revised full papers presented were carefully reviewed and selected from numerous contributions. The papers are organized in topical sections on Internet of things and mobile sensing, mobile middleware platforms, mobile networks, systems support for mobile applications, and context awareness.

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 14th International Middleware Conference, held in Beijing, China, in December 2013. The 24 revised full papers presented were carefully reviewed and selected from 189 submissions. The papers cover a wide range of topics including design, implementation, deployment and evaluation of middleware for next-generation platforms such as cloud computing, social networks and large-scale storage and distributed systems. The middleware solutions introduced provide features such as availability, efficiency, scalability, fault-tolerance, trustworthy operation and support security and privacy needs.

Although parallel robots are known to offer many advantages with respect to accuracy, dynamics, and stiffness, major breakthroughs in industrial applications have not yet taken place. This is due to a knowledge gap preventing fast and precise execution of industrial handling and assembly tasks. This book focuses on the design, modeling, and control of innovative parallel structures as well as the integration of novel machine elements. Special attention is paid to the integration of active components into lightweight links and passive joints. In addition, new control concepts are introduced to minimize structural vibrations. Although the optimization of robot systems itself allows a reduction of cycle times, these can be further decreased by improved path planning, robot programming, and automated assembly planning concepts described by 25 contributions within this book. The content of this volume is subdivided into four main parts dealing with Modeling and Design, System Implementation, Control and Programming as well as Adaptronics and Components. This book is aimed at researchers and postgraduates working in the field of parallel robots as well as practicing engineers dealing with industrial robot development and robotic applications.

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.

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.