This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012, held in Tokyo, Japan, in September 2012. The 16 revised full papers, 5 poster papers presented with 1 invited talk were carefully reviewed and selected from 39 submissions. The focus of the papers is on following topics: compiling for parallelism, automatic parallelization, optimization of parallel programs, formal analysis and verification of parallel programs, parallel runtime systems, task-parallel libraries, parallel application frameworks, performance analysis tools, debugging tools for parallel programs, parallel algorithms and applications.

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

This book constitutes the refereed proceedings of the 8th International Conference on Grid and Pervasive Computing, GPC 2013, held in Seoul, Korea, in May 2013 and the following colocated workshops: International Workshop on Ubiquitous and Multimedia Application Systems, UMAS 2013; International Workshop DATICS-GPC 2013: Design, Analysis and Tools for Integrated Circuits and Systems; and International Workshop on Future Science Technologies and Applications, FSTA 2013. The 111 revised papers were carefully reviewed and selected from numerous submissions. They have been organized in the following topical sections: cloud, cluster and grid; middleware resource management; mobile peer-to-peer and pervasive computing; multi-core and high-performance computing; parallel and distributed systems; security and privacy; ubiquitous communications, sensor networking, and RFID; ubiquitous and multimedia application systems; design, analysis and tools for integrated circuits and systems; future science technologies and applications; and green and human information technology.

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it. This book introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a clear conceptual basis, representing a fundamental, specialised use of inheritance. The resulting model replaces a confused notion of inheritance with five distinct conceptual relationships supporting more precise modelling of systems and capturing the semantic intent of each use of inheritance within a system.

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.

A very large proportion of commercial and industrial concerns in the UK find their business competitiveness dependent on huge quantities of already installed, legacy IT. Often the nature of their business is such that, to remain competitive, they have to be able to change their business processes. Sometimes the required change is radical and revolutionary, but more often the required change is incremental. For such incremental change, a major systems engineering problem arises. The cost and delay involved in changing the installed IT to meet the changed business requirements is much too high. In order to address this issue the UK Engineering and Physical Science Research Council (EPSRC) set up, in 1996, a managed research programme entitled Systems Engineering for Business Process Change (SEBPC). I was appointed as co-ordinator of the programme. The overall aim of this new managed research programme was to release the full potential of IT as an enabler of business process change, and to overcome the disabling effects which the build-up of legacy systems has on such change. As such, this aim addressed a stated objective of the Information Technology and Computer Science (IT&CS) part of EPSRC to encourage research at a system level.

Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes. The papers contained in this volume report the results from the projects funded by the programme, which ran between 1997 and 2001. An earlier volume, published in 2000, reported interim results. Bringing together researchers from diverse backgrounds in Computer Science, Information Systems, Engineering and Business Schools, this book explores the problems experienced by IT-dependent businesses that have to implement changing business processes in the context of their investment in legacy systems. The book presents some of the solutions investigated through the collaborations set up within the research programme. Whether you are a researcher interested in the ideas that were generated by the research programme, or a user trying to understand the nature of the problems and their solutions, you cannot fail to be inspired by the writings contained in this volume.

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the development and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.

The Windows Azure Platform has rapidly established itself as one of the most sophisticated cloud computing platforms available. With Microsoft working to continually update their product and keep it at the cutting edge, the future looks brightif you have the skills to harness it. In particular, new features such as remote desktop access, dynamic content caching and secure content delivery using SSL make the latest version of Azure a more powerful solution than ever before It's widely agreed that cloud computing has produced a paradigm shift in traditional architectural concepts by providing new ways to both store and process data. The basic concepts of the cloud are now well understood throughout the industry. What is much less well understood, and the primary focus of this book, is how the the Windows Azure technology can be applied in real-world scenarios and made to work for you. This book answers those questions, demonstrating how all the features of Windows Azureboth old and newcan be put to work. By the time you're done reading, you will be comfortable building high-quality end-to-end Windows Azure services of your own. The book, like the Azure platform itself, is divided into three key partsWindows Azure, SQL Azure, and Windows Azure AppFabric. Each of these plays a unique role in the functioning of your cloud service. It is the goal of this book to show you how to use these components, both separately and together, to build flawless cloud applications as well as hybrid architectures thatfit in alongside your business' existing systems. Pro Windows Azure Platform, Second Edition is a down-to-earth, code-centric book that shows precisely how the all the components of Windows Azure are employed, and demonstrates the techniques and best practices you'll need to put them to work. What you'll learn Everything you need to understand the Windows Azure platform componentsfrom Access Control to SQL Azure, from the ServiceBus to Windows Azure Connect The architectural theory behind Windows Azure and the nuts-and-bolts code that binds your services together How to design, build, and deploy an Azure service The critical new services of Azure and how the work: Windows Azure Connect, VMRole, SQLAzure Data Sync and Windows Azure AppFabric caching are all covered Who this book is for

This book is intended for professional developers who want to dig into the internals of Azure and start investigating its features in depthin order to adoptthem into their workflow systems. Table of Contents Windows Azure Platform Overview Windows Azure Compute Windows Azure Storage, Part I: Blobs and Drives Windows Azure Storage, Part II: Queues Windows Azure Storage, Part III: Tables VMRole and Windows Azure Connect AppFabric: Access Control Service AppFabric: Service Bus AppFabric: Caching SQLAzure

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.

Design of System on a Chip is the first of two volumes addressing the design challenges associated with new generations of the semiconductor technology. The various chapters are the compilations of tutorials presented at workshops in Brazil in the recent years by prominent authors from all over the world. In particular the first book deals with components and circuits. Device models have to satisfy the conditions to be computationally economical in addition to be accurate and to scale over various generations of technology. In addition the book addresses issues of the parasitic behavior of deep sub-micron components, such as parameter variations and sub-threshold effects. Furthermore various authors deal with items like mixed signal components and memories. We wind up with an exposition of the technology problems to be solved if our community wants to maintain the pace of the "International Technology Roadmap for Semiconductors" (ITRS).

Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built under pessimistic assumptions to cope with worst-case scenarios, so they often waste resources. Soft real-time systems are built to reduce resource consumption, tolerate overloads and adapt to system changes. They are also more suited to novel applications of real-time technology, such as multimedia systems, monitoring apparatuses, telecommunication networks, mobile robotics, virtual reality, and interactive computer games. This unique monograph provides concrete methods for building flexible, predictable soft real-time systems, in order to optimize resources and reduce costs. It is an invaluable reference for developers, as well as researchers and students in Computer Science.

Some might say we all want Linux with an OS X graphical user interface. Mac for Linux Geeks will assist you step by step in migrating from Linuxbased systems to OS X. Dual booting, virtualization, and building out the Linux environment on OS X are discussed in detail, along with a comparative view of wellknown Mac tools and their open source equivalents. Written for daily use, this concise and dependable guide will steer you across the technical landscape from your chosen Linux flavor to the OS X promised land.Live with OS X, but work with Linux toolsMake the OS XLinux hybrid a realityUse Mac tools where possible and free software where appropriate What you'll learn Dual booting Linux on the Mac Creating a virtual Linux system on the Mac Understanding the OS X graphical user interfaceLeveraging free and open sourcetools to meet the traditional Apple strengths of graphics and multimedia Performing routine OS X system administration for Linux administrators Hybridizing the Linux/Mac experience Who this book is for

Whether developer, system administrator or hobbyist geek, this book guides all who want to migrate from Linux to OS X, helping to integrate both operating system experiences.

This book is an introduction to the design and implementation of operating systems using OSP 2, the next generation of the highly popular OSP courseware for undergraduate operating system courses. Coverage details process and thread management; memory, resource and I/0 device management; and interprocess communication. The book allows students to practice these skills in a realistic operating systems programming environment. An Instructors Manual details how to use the OSP Project Generator and sample assignments. Even in one semester, students can learn a host of issues in operating system design.

Microsoft Operations Manager (MOM) allows administrators to troubleshoot - and prevent - problems in Microsoft server networks. The text offers everything from a review of MOM 2005 architecture and internals to planning and deployment guidelines, advanced troubleshooting, and integration with popular management frameworks like Tivoli. Appendices include custom upgrade guides. The approach is strictly practical and real-world, based on the authors' own experience. The book is written for an audience familiar with MOM but not expert at administering it. The solutions and troubleshooting tips are concise, and to the point. The chapters are standalone and can be referenced in any order.

Innovations are adopted when users integrate them in meaningful ways into existing social practices. Histories of major technological innovations show that often the creative initiative of users and user communities becomes the determining factor in the evolution of particular innovations. The evolutionary routes of the telephone, the Internet, the World Wide Web, email, and the Linux operating system all took their developers by surprise. Articulation of these technologies as meaningful products and systems was made possible by innovative users and unintended resources. Iterative and interactive models have replaced the traditional linear model of innovation during the last decade. Yet, heroic innovators and entrepreneurs, unambiguous functionality of products, and a focus on the up-stream aspects of innovation still underlie much discussion on innovation, intellectual property rights, technology policy, and product development. Coherent conceptual, theoretical and practical conclusions from research on knowledge creation, theory of learning, history of technology, and the social basis of innovative change have rarely been made. This book argues that innovation is about creating meaning; that it is inherently social; and is grounded in existing social practices. To understand the social basis of innovation and technology development we have to move beyond the traditional product-centric view on innovations. Integrating concepts from several disciplinary perspectives and detailed analyses of the evolution of Internet-related innovations, including packet-switched computer networks, World Wide Web, and the Linux open source operating system, the book develops foundations for a new theoretical and practical understanding of innovation. For example, it shows that innovative development can occur in two qualitatively different ways, one based on evolving specialization and the other based on recombination of existing socially produced resources. The expanding communication and collaboration networks have increased the importance of the recombinatory mode making mobility of resources, sociotechnical translation mechanisms, and meaning creation in communities of practice increasingly important for innovation research and product development.

Allgegenwartige, in den Hintergrund tretende Informationstechniken konnten den Menschen in allen Lebensbereichen bei der Arbeit, beim Einkaufen, beim Reisen und zu Hause unbemerkt und mitdenkend" unterstutzen. Eine solche Entwicklung bietet nicht nur die Vision, intellektuelle und physische Begrenzungen des Menschen zu uberwinden, sondern auch viele neue Herausforderungen fur bisherige Werte und Lebensweisen. Daher drangt sich die Frage auf, wie wir angesichts dieser Moglichkeiten kunftig leben wollen und wie wir die vor uns stehenden Entwicklungen beeinflussen konnen. Das Buch beschreibt diese Entwicklungen, ihre moglichen wirtschaftlichen und gesellschaftlichen Folgen sowie ihre Auswirkungen auf das Weltbild und das Selbstbild der Menschen und es analysiert die Moglichkeiten, diese Entwicklungen gestaltend zu beeinflussen."

Evolve your traditional intranet platform into a next-generation digital workspace with this comprehensive book. Through in-depth coverage of strategies, methods, and case studies, you will learn how to design and build an employee experience platform (EXP) for improved employee productivity, engagement, and collaboration. In Build a Next-Generation Digital Workplace, author Shailesh Kumar Shivakumar takes you through the advantages of EXPs and shows you how to successfully implement one in your organization. This book provides extensive coverage of topics such as EXP design, user experience, content strategy, integration, EXP development, collaboration, and EXP governance. Real-world case studies are also presented to explore practical applications. Employee experience platforms play a vital role in engaging, empowering, and retaining the employees of an organization. Next-generation workplaces demand constant innovation and responsiveness, and this book readies you to fulfill that need with an employee experience platform. You will: Understand key design elements of EXP, including the visual design, EXP strategy, EXP transformation themes, information architecture, and navigation design. Gain insights into end-to-end EXP topics needed to successfully design, implement, and maintain next-generation digital workplace platforms. Study methods used in the EXP lifecycle, such as requirements and design, development, governance, and maintenance Execute the main steps involved in digital transformation of legacy intranet platforms to EXP. Discover emerging trends in digital workplace such as gamification, machine-led operations model and maintenance model, employee-centric design (including persona based design and employee journey mapping), cloud transformation, and design transformation. Comprehend proven methods for legacy Intranet modernization, collaboration, solution validation, migration, and more. Who This Book Is For Digital enthusiasts, web developers, digital architects, program managers, and more.

Whether you use a standalone Unix system, routinely provide administrative support for a larger shared system, or just want an understanding of basic administrative functions, Essential System Administration is for you. This comprehensive and invaluable book combines the author's years of practical experience with technical expertise to help you manage Unix systems as productively and painlessly as possible.