Time and Methods in Environmental Interfaces Modelling: Personal Insights considers the use of time in environmental interfaces modeling and introduce new methods, from the global scale (e.g. climate modeling) to the micro scale (e.g. cell and nanotubes modeling), which primarily arise from the personal research insights of the authors. As the field of environmental science requires the application of new fundamental approaches that can lead to a better understanding of environmental phenomena, this book helps necessitate new approaches in modeling, including category theory, that follow new achievements in physics, mathematics, biology, and chemistry. - Includes the use of new mathematical tools, such as category theory, mathematical theory of general systems and formal concept analysis, matrix theory tools, stability analysis, and pseudospectra - Presents new content related to time in relation to physics and biology - Combines the word of an experienced author team with over 35 papers of collective experience

This book containing 33 chapters provides an insightful look at creative approaches toward the accelerated development of computing and multidisciplinary IT solutions for society. Technology is advancing on all fronts and is opening new and innovative adaptations to our modern world every single day causing huge shifts in practices and patterns. These new technologies allow us opportunities to gain insights into the discoveries of creative and innovative approaches. The book covers emerging next-generation computing research, developments of computing, and multidisciplinary ICT solutions in seven themes: The first theme concerns the emerging research into next-generation computing like cloud computing, cyber security, and gaming; The second theme pertains to information technology in the textile industry; The third theme zeroes in on the adoption of ICT for digitalization, artificial intelligence, and machine learning; The fourth theme addresses online collaboration in the creative process; The fifth theme covers the development of computing and multidisciplinary ICT solutions for salient disciplines like education, governance, commerce, and business communication; The sixth theme provides a security assessment and defense strategies for banking and financial institutions; The seventh theme covers creative approaches towards the implementation of the 4th Industrial Revolution. Audience The book has a wide audience comprising specialists in artificial intelligence, information technology, software engineers, data and cyber security scientists, as well as those in the applied areas such as business, finance, industry and manufacturing. Policymakers and consultants will find this book useful as well.

This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.

User Interfaces for All is the first book dedicated to the issues of Universal Design and Universal Access in the field of Human-Computer Interaction (HCI). Universal Design (or Design for All) is an inclusive and proactive approach seeking to accommodate diversity in the users and usage contexts of interactive products, applications, and services, starting from the design phase of the development life cycle. The ongoing paradigm shift toward a knowledge-intensive information society is already bringing about radical changes in the way people work and interact with each other and with information. The requirement for Universal Design stems from the growing impact of the fusion of the emerging technologies, and from the different dimensions of diversity, which are intrinsic to the information society. This book unfolds the various aspects of this ongoing evolution from a variety of viewpoints. It's a collection of 30 chapters written by leading international authorities, affiliated with academic, research, and industrial organizations, and non-market institutions. The book provides a comprehensive overview of the state of the art in the field, and includes contributions from a variety of theoretical and applied disciplines and research themes. This book can also be used for teaching purposes in HCI courses at the undergraduate as well as graduate level. Students will be introduced to the human-, organizational-, and technology-oriented dimensions that call for a departure from traditional approaches to user interface development. Students will also get an overview of novel methods, techniques, tools, and frameworks for the design, implementation, and evaluation of user interfaces that are universally accessible and usable by the broadest possible end-user population. This comprehensive book is targeted to a broad readership, including HCI researchers, user interface designers, computer scientists, software engineers, ergonomists and usability engineers, Human Factors researchers and practitioners, organizational psychologists, system/product designers, sociologists, policy- and decision makers, scientists in government, industry and education, as well as assistive technology and rehabilitation experts.

This book is a compilation of research accomplishments in the fields of modeling, simulation, and their applications, as presented at AsiaSim 2011 (Asia Simulation Conference 2011). The conference, held in Seoul, Korea, November 16–18, was organized by ASIASIM (Federation of Asian Simulation Societies), KSS (Korea Society for Simulation), CASS (Chinese Association for System Simulation), and JSST (Japan Society for Simulation Technology). AsiaSim 2011 provided a forum for scientists, academicians, and professionals from the Asia-Pacific region and other parts of the world to share their latest exciting research findings in modeling and simulation methodologies, techniques, and their tools and applications in military, communication network, industry, and general engineering problems.

Aspect-oriented programming, component models, and design patterns are modern and actively evolving techniques for improving the modularization of complex software. In particular, these techniques hold great promise for the development of "systems infrastructure" software, e.g., application servers, middleware, virtual machines, compilers, operating systems, and other software that provides general services for higher-level applications. The developers of infrastructure software are faced with increasing demands from application programmers needing higher-level support for application development. Meeting these demands requires careful use of software modularization techniques, since infrastructural concerns are notoriously hard to modularize. Aspects, components, and patterns provide very different means to deal with infrastructure software, but despite their differences, they have much in common. For instance, component models try to free the developer from the need to deal directly with services like security or transactions. These are primary examples of crosscutting concerns, and modularizing such concerns are the main target of aspect-oriented languages. Similarly, design patterns like Visitor and Interceptor facilitate the clean modularization of otherwise tangled concerns. Building on the ACP4IS meetings at AOSD 2002-2009, this workshop aims to provide a highly interactive forum for researchers and developers to discuss the application of and relationships between aspects, components, and patterns within modern infrastructure software. The goal is to put aspects, components, and patterns into a common reference frame and to build connections between the software engineering and systems communities.

This Special Issue presents the work of 30 scientists from 11 countries. It confirms that the impacts of global change, resulting from both climate change and increasing anthropogenic pressure, are huge on worldwide coastal areas (and critically so on some islands in the Pacific Ocean), with highly negative effects on coastal groundwater resources, which are widely affected by seawater intrusion. Some improved research methods are proposed in the contributions: using innovative hydrogeological, geophysical, and geochemical monitoring; assessing impacts of the changing environment on the coastal groundwater resources in terms of quantity and quality; and using modelling, especially to improve management approaches. The scientific research needed to face these challenges must continue to be deployed by different approaches based on the monitoring, modelling and management of groundwater resources. Novel and more efficient methods must be developed to keep up with the accelerating pace of global change.

The world consists of many complex systems, ranging from our own bodies to ecosystems to economic systems. Despite their diversity, complex systems have many structural and functional features in common that can be effectively si- lated using powerful, user-friendly software. As a result, virtually anyone can - plore the nature of complex systems and their dynamical behavior under a range of assumptions and conditions. This ability to model dynamic systems is already having a powerful influence on teaching and studying complexity. The books in this series will promote this revolution in “systems thinking” by integrating computational skills of numeracy and techniques of dynamic mod- ing into a variety of disciplines. The unifying theme across the series will be the power and simplicity of the model-building process, and all books are designed to engage the reader in developing their own models for exploration of the dyn- ics of systems that are of interest to them. Modeling Dynamic Systems does not endorse any particular modeling paradigm or software. Rather, the volumes in the series will emphasize simplicity of lea- ing, expressive power, and the speed of execution as priorities that will facilitate deeper system understanding.