Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over...

These proceedings present technical papers selected from the 2012 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2012), held on December 15-17 in Beijing. The aim of this conference is to bring together experts from different fields of expertise to discuss the state-of-the-art in Intelligent Systems and...

This brief proposes that the keys to internet cross-layer optimization are the development of non-standard implicit primal-dual solvers for underlying optimization problems, and design of jointly optimal network protocols as decomposition of such solvers. Relying on this novel design-space oriented approach, the author develops joint TCP...

These papers on Intelligent Data Analysis and Management (IDAM) examine issues related to the research and applications of Artificial Intelligence techniques in data analysis and management across a variety of disciplines. The papers derive from the 2013 IDAM conference in Kaohsiung ,Taiwan. It is an interdisciplinary research field involving...

Synthesizing decades of work, but up-to-date, this book focuses on organism-level responses to pollutants by marine animals, mainly crustaceans, molluscs, and fishes. Emphasizing effects on physiological processes (feeding/digestion, respiration, osmoregulation), life-cycle (reproduction [including endocrine disruption], embryo...

This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SytemVerilog Functional Coverage.  Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the...

This book provides readers with a solid set of diversified and essential tools for the theoretical modeling and control of complex robotic systems, as well as for digital human modeling and realistic motion generation. Following a comprehensive introduction to the fundamentals of robotic kinematics, dynamics and control systems design, the...

This book constitutes the refereed proceedings of the Third International Workshop on Systems and Frameworks for Computational Morphology, SFCM 2013, held in Berlin, in September 2013. The 7 full papers were carefully reviewed and selected from 15 submissions and are complemented with an invited talk. The papers discuss recent advances in the...

This Festschrift volume, published in honour of J. Ian Munro, contains contributions written by some of his colleagues, former students, and friends. In celebration of his 66th birthday the colloquium "Conference on Space Efficient Data Structures, Streams and Algorithms" was held in Waterloo, ON, Canada, during August 15-16, 2013....

This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012. This volume presents 9 thoroughly revised papers selected from 24 submissions as...

Increasing scientific evidence suggests that the majority of diseases including cancer are driven by oxidative stress and inflammation, attributed to environmental factors. These factors either drive genetic mutations or epigenetically modify expression of key regulatory genes. These changes can occur as early as gestational fetal...