"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three operators: synchronous parallel, refinement and hiding. The fourth operator, called asynchronous parallel, is introduced in DFCharts to connect FSMs with SDFGs. In the formal semantics of DFCharts, the operation of an SDFG is represented as an FSM. Using this representation, SDFGs are merged with FSMs so that the behaviour of a complete DFCharts specification can be expressed as a single, flat FSM. This allows system properties to be verified globally. The practical application of DFCharts has been demonstrated by linking it to widely used system-level languages Java, Esterel and SystemC.

Covers the transmission of real-time video and audio for internet experimentation. Provides detailed descriptions of how the various hardware and software systems can be seamlessly integrated for a complete internet remote experimentation system. Contains examples of real working experiments that are currently running.

The two-volume set LNICST 150 and 151 constitutes the thoroughly refereed post-conference proceedings of the First International Internet of Things Summit, IoT360 2014, held in Rome, Italy, in October 2014. This volume contains 74 full papers carefully reviewed and selected from 118 submissions at the following four conferences: the First International Conference on Cognitive Internet of Things Technologies, COIOTE 2014; the First International Conference on Pervasive Games, PERGAMES 2014; the First International Conference on IoT Technologies for HealthCare, HealthyIoT 2014; and the First International Conference on IoT as a Service, IoTaaS 2014. The papers cover the following topics: user-centric IoT; artificial intelligence techniques for the IoT; the design and deployment of pervasive games for various sectors, such as health and wellbeing, ambient assisted living, smart cities and societies, education, cultural heritage, and tourism; delivery of electronic healthcare; patient care and medical data management; smart objects; networking considerations for IoT; platforms for IoTaaS; adapting to the IoT environment; modeling IoTaaS; machine to machine support in IoT.

Platform Based Design at the Electronic System Level presents a multi-faceted view of the challenges facing the electronic industry in the development and integration of complex heterogeneous systems, including both hardware and software components. It analyses and proposes solutions related to the provision of integration platforms by System on Chip and Integrated Platform providers in light of the needs and requirements expressed by the system companies: they are the users of such platforms, which they apply to develop their next-generation products. This is the first book to examine ESL from perspectives of system developer, platform provider and Electronic Design Automation.

The Halden Man-Machine Laboratory (HAMMLAB) has been at the heart of human factors research at the OECD Halden Reactor Project (HRP). The HRP is sponsored by a group of national organizations, representing nuclear power plant regulators, utilities, and research institutions. The HRP is hosted by the Institute for Energy Technology (IFE) in Halden, Norway. HAMMLAB comprises three full-scale nuclear power plant control room research simulators. The simulator studies performed in HAMMLAB have traditionally been experimental in nature. In a simulator it is possible to study events as they unfold in real time, in a highly realistic operational environment under partially controlled conditions. This means that a wide range of human factors issues, which would be impossible or highly impracticable to study in real-life settings, can thus be addressed in HAMMLAB. Simulator-based Human Factors Studies Across 25 Years celebrates the twenty-fifth anniversary of HAMMLAB by reviewing the human factors studies performed in HAMMLAB across this time-span. A range of human factors issues have been addressed, including: * human-system interfaces; * alarm systems; * computerized procedures; * human-automation interaction; * staffing, teamwork and human reliability. The aim of HAMMLAB studies has always been the same: to generate knowledge for solving current and future challenges in nuclear power plant operation to contribute to safety. The outcomes of HAMMLAB studies have been used to support design and assessment of nuclear power plant control rooms.

This book constitutes the refereed proceedings of the 5th Conference on Knowledge Engineering and the Semantic Web, KESW 2014, held in Kazan, Russia, in September/October 2014. The 18 revised full papers presented together with 4 short system descriptions were carefully reviewed and selected from 44 submissions. The papers address research issues related to semantic web, linked data, ontologies, natural language processing, knowledge representation.

Dynamic management of systems development is a precondition for the realization of sustainable system development. This approach allows for the usage of systems theory methods that take into consideration the interaction of decisions made over time and space. A characteristic feature of this kind of method is that the process of sophisticated object development over time is examined for optimal decision selection. This requires the application of modelling methods that represent properties of the developing objects, high speed calculation methods for the estimation of technical and economic characteristics, as well as effective optimization methods. Dynamic Management of Sustainable Development presents a concise summary of the authors' research in the area of dynamic methods analysis of technical systems development. Along with systematic illustration of mathematical methods, considerable attention is drawn to practical realization and applications. Dynamic Management of Sustainable Development will be helpful for scientists involved in the mathematical modelling of large technical systems development and for engineers working in the area of large technical systems planning.

This volume surveys recent research on autonomous sensor networks from the perspective of enabling technologies that support medical, environmental and military applications. State of the art, as well as emerging concepts in wireless sensor networks, body area networks and ambient assisted living introduce the reader to the field, while subsequent chapters deal in depth with established and related technologies, which render their implementation possible. These range from smart textiles and printed electronic devices to implanted devices and specialized packaging, including the most relevant technological features. The last four chapters are devoted to customization, implementation difficulties and outlook for these technologies in specific applications.

Dr. Madry, one of the world's leading experts in the field, provides in a condensed form a quick yet comprehensive overview of satellite navigation. This book concisely addresses the latest technology, the applications, the regulatory issues, and the strategic implications of satellite navigation systems. This assesses the strengths and weaknesses of satellite navigation networks and review of all the various national systems now being deployed and the motivation behind the proliferation of these systems.

This book contains selected contributions from some of the most renowned researchers in the field of small-scale robotics, based in large part on invited presentations from the workshop "The Different Sizes of Small-Scale Robotics: from Nano-, to Millimeter-Sized Robotic Systems and Applications," which was held in conjunction with the conjunction with the International Conference on Robotics and Automation (ICRA 2013), in May 2013 in Karlsruhe, Germany. With many potential applications in areas such as medicine, manufacturing or search and rescue, small-scale robotics represent a new emerging frontier in robotics research. The aim of this book is to provide an insight to ongoing research and future directions in this novel, continuously evolving field, which lies at the intersection of engineering, computer science, material science and biology.

Multi-Agent Systems are a promising technology to develop the next generation open distributed complex software systems. The main focus of the research community has been on the development of concepts (concerning both mental and social attitudes), architectures, techniques, and general approaches to the analysis and specification of multi-agent systems. This contribution has been fragmented, without any clear way of "putting it all together", rendering it inaccessible to students and young researchers, non-experts, and practitioners. Successful multi-agent systems development is guaranteed only if we can bridge the gap from analysis and design to effective implementation. Multi-Agent Programming: Languages, Tools and Applications presents a number of mature and influential multi-agent programming languages, platforms, development tools and methodologies, and realistic applications, summarizing the state of the art in an accessible manner for professionals and computer science students at all levels.

Analog Circuit Design contains the contribution of 18 tutorials of the 20th workshop on Advances in Analog Circuit Design. Each part discusses a specific to-date topic on new and valuable design ideas in the area of analog circuit design. Each part is presented by six experts in that field and state of the art information is shared and overviewed. This book is number 20 in this successful series of Analog Circuit Design, providing valuable information and excellent overviews of: Topic 1 : Low Voltage Low Power, chairman: Andrea Baschirotto Topic 2 : Short Range Wireless Front-Ends, chairman: Arthur van Roermund Topic 3 : Power Management and DC-DC, chairman : Michiel Steyaert. Analog Circuit Design is an essential reference source for analog circuit designers and researchers wishing to keep abreast with the latest development in the field. The tutorial coverage also makes it suitable for use in an advanced design course.

Agent-based modeling is a flexible and intuitive approach that is close to both data and theories, which gives it a special position in the majority of scientific communities. Agent models are as much tools of understanding, exploration and adaptation as they are media for interdisciplinary exchange. It is in this kind of framework that this book is situated, beginning with agent-based modeling of spatialized phenomena with a methodological and practical orientation. Through a governing example, taking inspiration from a real problem in epidemiology, this book proposes, with pedagogy and economy, a guide to good practices of agent modeling. The reader will thus be able to understand and put the modeling into practice and acquire a certain amount of autonomy.

This book constitutes the refereed proceedings of the 7th China Conference of Wireless Sensor Networks, held in Qingdao, China, in October 2013. The 35 revised full papers were carefully reviewed and selected from 191 submissions. The papers cover a wide range of topics in the wireless sensor network fields like node systems, infrastructures, communication protocols, data management.

The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2011, held in Beijing, China, in October 2011. The 189 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including simulation models and decision-support systems for agricultural production, agricultural product quality testing, traceability and e-commerce technology, the application of information and communication technology in agriculture, and universal information service technology and service systems development in rural areas. The 62 papers included in the first volume focus on decision support systems, intelligent systems, and artificial intelligence applications.

Scientific Workflow has seen massive growth in recent years as science becomes increasingly reliant on the analysis of massive data sets and the use of distributed resources. The workflow programming paradigm is seen as a means of managing the complexity in defining the analysis, executing the necessary computations on distributed resources, collecting information about the analysis results, and providing means to record and reproduce the scientific analysis.

Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from many of leading computer scientists in the workflow area and provides real world examples from domain scientists actively involved in e-Science. The computer science topics addressed in the book provide a broad overview of active research focusing on the areas of workflow representations and process models, component and service-based workflows, standardization efforts, workflow frameworks and tools, and problem solving environments and portals.

The topics covered represent a broad range of scientific workflow and will be of interest to a wide range of computer science researchers, domain scientists interested in applying workflow technologies in their work, and engineers wanting to develop workflow systems and tools. As such Workflows for e-Science is an invaluable resource for potential or existing users of workflow technologies and a benchmark for developers and researchers.

Ian Taylor is Lecturer in Computer Science at Cardiff University, and coordinator of Triana activities at Cardiff. He is the author of "From P2P to Web Services and Grids," also published by Springer.

Ewa Deelman is a Research Assistant Professor at the USC Computer Science Department and a Research Team Leader at the Center for Grid Technologies at the USC Information Sciences Institute.

Dennis Gannon is a professor of Computer Science in the School of Informatics at Indiana University. He is also Science Director for the Indiana Pervasive Technology Labs..

Dr Shields is a research associate at Cardiff and one of two lead developers for the Triana project.

The book provides a comprehensive and timely report on the topic of decision making and decision analysis in economics and the social sciences. The various contributions included in the book, selected using a peer review process, present important studies and research conducted in various countries around the globe. The majority of these studies are concerned with the analysis, modeling and formalization of the behavior of groups or committees that are in charge of making decisions of social and economic importance. Decisions in these contexts have to meet precise coherence standards and achieve a significant degree of sharing, consensus and acceptance, even in uncertain and fuzzy environments. This necessitates the confluence of several research fields, such as foundations of social choice and decision making, mathematics, complexity, psychology, sociology and economics. A large spectrum of problems that may be encountered during decision making and decision analysis in the areas of economics and the social sciences, together with a broad range of tools and techniques that may be used to solve those problems, are presented in detail in this book, making it an ideal reference work for all those interested in analyzing and implementing mathematical tools for application to relevant issues involving the economy and society.

This book is dedicated to Prof. Dr. Heinz Gerhauser on the occasion of his retirement both from the position of Executive Director of the Fraunhofer Institute for Integrated Circuits IIS and from the Endowed Chair of Information Technologies with a Focus on Communication Electronics (LIKE) at the Friedrich-Alexander-Universitat Erlangen-Nurnberg. Heinz Gerhauser's vision and entrepreneurial spirit have made the Fraunhofer IIS one of the most successful and renowned German research institutions. He has been Director of the Fraunhofer IIS since 1993, and under his leadership it has grown to become the largest of Germany's 60 Fraunhofer Institutes, a position it retains to this day, currently employing over 730 staff. Likely his most important scientific as well as application-related contribution was his pivotal role in the development of the mp3 format, which would later become a worldwide success. The contributions to this Festschrift were written by both Fraunhofer IIS staff and external project team members in appreciation of Prof. Dr. Gerhauser's lifetime academic achievements and his inspiring leadership at the Fraunhofer IIS. The papers reflect the broad spectrum of the institute's research activities and are grouped into sections on circuits, information systems, visual computing, and audio and multimedia. They provide academic and industrial researchers in fields like signal processing, sensor networks, microelectronics, and integrated circuits with an up-to-date overview of research results that have a huge potential for cutting-edge industrial applications.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between grids, P2P systems and agent technologies is the key to data- and knowledge-centered systems in large-scale environments. This, the 17th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of five papers, selected from the 24 full and 8 short papers presented at the 15th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2013, held in Prague, The Czech Republic, in August 2013. Of the five papers, two cover data warehousing aspects related to query processing optimization in advanced platforms, specifically Map Reduce and parallel databases, and three cover knowledge discovery, specifically the causal network inference problem, dimensionality reduction, and the quality-of-pattern-mining task.

The rapid advances in performance and miniaturisation in microtechnology are constantly opening up new markets for the programmable logic controller (PLC). Specially designed controller hardware or PC-based controllers, extended by hardware and software with real-time capability, now control highly complex automation processes. This has been extended by the new subject of "safe- related controllers", aimed at preventing injury by machines during the production process. The different types of PLC cover a wide task spectrum - ranging from small network node computers and distributed compact units right up to modular, fau- tolerant, high-performance PLCs. They differ in performance characteristics such as processing speed, networking ability or the selection of I/O modules they support. Throughout this book, the term PLC is used to refer to the technology as a whole, both hardware and software, and not merely to the hardware architecture. The IEC61131 programming languages can be used for programming classical PLCs, embedded controllers, industrial PCs and even standard PCs, if suitable hardware (e.g. fieldbus board) for connecting sensors and actors is available.

This book constitutes the refereed proceedings of the 12 European Conference on Wireless Sensor Networks, EWSN 2015, held in Porto, Portugal, in February 2015. The 14 full papers and 9 short papers presented were carefully reviewed and selected from 85 submissions. They cover a wide range of topics grouped into five sessions: services and applications, mobility and delay-tolerance, routing and data dissemination, and human-centric sensing.

Intelligent technologies are the essential factors of innovation, and enable the industry to overcome technological limitations and explore the new frontiers. Therefore it is necessary for scientists and practitioners to cooperate and inspire each other, and use the latest research results in creating new designs and products. The idea of this book came out with the industrial workshop organized at the ISMIS conference in Warsaw, 2011. The book covers several applications of emerging, intelligent technologies in various branches of the industry. The contributions describe modern intelligent tools, algorithms and architectures, which have the potential to solve real problems, experienced by practitioners in various industry sectors. We hope this volume will show new directions for cooperation between science and industry and will facilitate efficient transfer of knowledge in the area of intelligent information systems.

Global networks, which are the primary pillars of the modern manufacturing industry and supply chains, can only cope with the new challenges, requirements and demands when supported by new computing and Internet-based technologies. Cloud Manufacturing: Distributed Computing Technologies for Global and Sustainable Manufacturing introduces a new paradigm for scalable service-oriented sustainable and globally distributed manufacturing systems. The eleven chapters in this book provide an updated overview of the latest technological development and applications in relevant research areas. Following an introduction to the essential features of Cloud Computing, chapters cover a range of methods and applications such as the factors that actually affect adoption of the Cloud Computing technology in manufacturing companies and new geometrical simplification method to stream 3-Dimensional design and manufacturing data via the Internet. This is further supported case studies and real life data for Waste Electrical and Electronic Equipment (WEEE) remanufacturing. This compilation of up to date research and literature can be used as a textbook or reference for mechanical, manufacturing, and computer engineering graduate students and researchers for efficient utilization, deployment and development of distributed and Cloud manufacturing systems, services and applications.

This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spain, in September 2012. The 21 revised papers were carefully reviewed and selected from 254 submissions. Topics of interest include the exploitation of AI techniques, most recent research in information technologies and dynamic ontologies.