With the radically new IBM WebSphere sMash and the Project Zero platform, it’s far easier to develop, assemble, and run applications and mashups that align...

Steam tables for practical industrial use are presented which have been calculated using the international standard for the thermodynamic properties of water and steam, the IAPWS-IF97 formulation, and the international standards for transport and other properties. In addition, the complete set of equations of IAPWS-IF97 is presented including...

This book discusses six major principles of relevance to environmental issues and uses them to evaluate a set of environmental policies. The principles chosen include three that are specific to environmental matters – ecological sustainability, the polluter pays principle and the precautionary principle – and three more that have...

New sequencing technologies have broken many experimental barriers to genome scale sequencing, leading to the extraction of huge quantities of sequence data. This expansion of biological databases established the need for new ways to harness and apply the astounding amount of available genomic information and convert it into substantive...

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010. The 12 revised full papers presented together with 3 invited talks were...

This book is a peer-reviewed collection of papers, modified and extended for the purpose of this publication, but originally presented at the International Conference on Evaluation of Novel Approaches to Software Engineering 2008 and 2009 (ENASE 2008 / 2009). The book’s content is placed within the entire framework of software...

Alfresco provides a robust, easy to use, and scalable web content framework for managing multiple websites leveraging a common web infrastructure. If you are interested in configuring and building a new website quickly, determined to create a scalable infrastructure to stage multiple websites, and want to secure and control the content being...

High-performance system architectures are increasingly exploiting heterogeneity: multi- and manycore-based systems are complemented by coprocessors, accelerators, and reconfigurable units providing huge computational power. However, applications of scientific interest (e.g. in high-performance computing and numerical simulation) are not yet...