While the dependability requirements of distributed real-time systems are expanding, there is currently no framework for defining and mapping these requirements into the system design and operation. A method of controlling and achieving the dependability level is real-time monitoring, which measures the degree of requirements fulfilment, relates it to the pre-defined, measurable system-level expectations and dynamically adapts the system, based on quality metrics, risk analysis, cost evaluation, control theory, neural networks, data acquisition and system knowledge management. The book deduces a framework to reveal, define, quantify, measure, analyse, design, implement, test, monitor and enhance dependability (functional and non-functional) requirements of a distributed system with real-time constraints. It is presented how the framework can be applied throughout all life-cycle stages, under varying constraints and with maximised cost effectiveness. An overview of the tools and methodologies applicable has been given and an integrated and generalised architecture for ensuring continuous fulfilment of system requirements, proposed. The framework provides a multilevel specification mechanism to establish the preservation of system requirements. This ensures the correct functioning of system through adaptations at run time. Among the benefits are controlled access and coordinated resource sharing in accordance with service-level agreement policies, multi-stakeholder interest preservation, transparency with respect to location, naming, performance etc., achievement of quality of service on demand, decentralisation, seamless integration of resources and applications, as well as increased predictability. READERSHIP: The intended audience is broad: real time and distributed systems scientists and developers, software engineers, students, quality assurance managers, contractors, users, service providers and all those searching for an alternative approach to handling and ensuring automated control of fulfilment of system requirements. Moreover, those needing a handbook on contract negotiations and a method of tracing operational results back into system requirements of long lived projects with high dependability and integrity demands.

Learn how to build a data science technology stack and perform good data science with repeatable methods. You will learn how to turn data lakes into business assets. The data science technology stack demonstrated in Practical Data Science is built from components in general use in the industry. Data scientist Andreas Vermeulen demonstrates in detail how to build and provision a technology stack to yield repeatable results. He shows you how to apply practical methods to extract actionable business knowledge from data lakes consisting of data from a polyglot of data types and dimensions. What You'll Learn Become fluent in the essential concepts and terminology of data science and data engineering Build and use a technology stack that meets industry criteria Master the methods for retrieving actionable business knowledge Coordinate the handling of polyglot data types in a data lake for repeatable results Who This Book Is For Data scientists and data engineers who are required to convert data from a data lake into actionable knowledge for their business, and students who aspire to be data scientists and data engineers

This book constitutes the proceedings of the 14th International Conference on Green, Pervasive, and Cloud Computing, GPC 2019, held in Uberlandia, Brazil, in May 2019. The 17 full papers included in this volume were carefully reviewed and selected from 38 initial submissions. They are organized in the following topical sections: machine learning; Internet of Things and mobility; cloud and related technologies.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Gerotechnology, IWoG 2018, held in Caceres, Spain on December 14, 2018, and in Evora, Portugal, on December 17, 2018. The 24 revised full papers along with 8 short papers presented were carefully reviewed and selected from 71 submissions.The papers are organized in topical sections on knowledge management for health: context, cognition, behavior and user modeling; technologies to increase the quality of life of the elderly population; Internet of Things (IoT); smarts technologies and algorithms for health; monitoring and management of chronic and non-chronic diseases;solutions for active aging, social integration and self-care; health interventions to support caregivers of elderly people; public health initiatives.

This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017. The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks.

This book constitutes the refereed proceedings of the 22nd International Conference on Applications of Evolutionary Computation, EvoApplications 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoMUSART. The 44 revised full papers presented were carefully reviewed and selected from 66 submissions. They were organized in topical sections named: Engineering and Real World Applications; Games; General; Image and Signal Processing; Life Sciences; Networks and Distributed Systems; Neuroevolution and Data Analytics; Numerical Optimization: Theory, Benchmarks, and Applications; Robotics.

This book constitutes the proceedings of the 15th International Symposium on Applied Reconfigurable Computing, ARC 2019, held in Darmstadt, Germany, in April 2019. The 20 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition, the volume contains 1 invited paper. The papers were organized in topical sections named: Applications; partial reconfiguration and security; image/video processing; high-level synthesis; CGRAs and vector processing; architectures; design frameworks and methodology; convolutional neural networks.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2018, held in Prague, Czech Republic, in October 2018. The 46 revised full papers included in the volume were carefully reviewed and selected from 66 submissions. They are organized in the following topical sections: Future Challenges of Advanced M&S Technology; Swarming - R&D and Application; M&S of Intelligent Systems - AI, R&D and Application; AxS in Context of Future Warfare and Security Environment (Concepts, Applications, Training, Interoperability, etc.).

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Metadata and Semantic Research, MTSR 2018, held in Limassol, Cyprus, on October 23-26, 2018. The 19 full and 16 short papers presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on metadata, linked data, semantics, ontologies and SKOS; digital libraries, information retrieval, big, linked, social and open data; cultural collections and applications; Knowledge IT Artifacts (KITA) in professional communities and aggregations; Digital Humanities and Digital Curation (DHC); European and national projects; agriculture, food and environment; open repositories, research information systems and data infrastructures.

This book constitutes the refereed proceedings of the 9th International Conference on Supercomputing, ISUM 2018, held in Merida, Mexico, in March 2018. The 19 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on scheduling, architecture, and programming; parallel computing; applications and HPC.

This open access book is about public open spaces, about people, and about the relationship between them and the role of technology in this relationship. It is about different approaches, methods, empirical studies, and concerns about a phenomenon that is increasingly being in the centre of sciences and strategies - the penetration of digital technologies in the urban space. As the main outcome of the CyberParks Project, this book aims at fostering the understanding about the current and future interactions of the nexus people, public spaces and technology. It addresses a wide range of challenges and multidisciplinary perspectives on emerging phenomena related to the penetration of technology in people's lifestyles - affecting therefore the whole society, and with this, the production and use of public spaces. Cyberparks coined the term cyberpark to describe the mediated public space, that emerging type of urban spaces where nature and cybertechnologies blend together to generate hybrid experiences and enhance quality of life.

This book offers comprehensive coverage of information retrieval by considering both Text Based Information Retrieval (TBIR) and Content Based Image Retrieval (CBIR), together with new research topics. The approach to TBIR is based on creating a thesaurus, as well as event classification and detection. N-gram thesaurus generation for query refinement offers a new method for improving the precision of retrieval, while event classification and detection approaches aid in the classification and organization of information using web documents for domain-specific retrieval applications. In turn, with regard to content based image retrieval (CBIR) the book presents a histogram construction method, which is based on human visual perceptions of color. The book's overarching goal is to introduce readers to new ideas in an easy-to-follow manner.

The three-volume set LNCS 10918, 10919, and 10290 constitutes the proceedings of the 7th International Conference on Design, User Experience, and Usability, DUXU 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018. The total of 1171 papers presented at the HCII 2018 conferences were carefully reviewed and selected from 4346 submissions. The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of applications areas. The total of 165 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this three-volume set. The 55 papers included in this volume are organized in topical sections on design thinking, methods and practice, usability and user experience evaluation methods and tools, and DUXU in software development.

This book constitutes the proceedings of the 15th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2018, held in Nanjing, China, in August 2018. The 15 full papers and 7 short papers included in this volume were carefully reviewed and selected from 51 initial submissions. They cover the methods and tools as well as the applications related to developing a knowledge base, healthcare, financial systems, and intelligent systems.

This book constitutes the refereed proceedings of the 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, held in Frankfurt/Main, Germany, in August 2018.The 21 papers presented were carefully reviewed and selected from 39 submissions. They cover the main areas in animat research, including the animat approach and methodology, perception and motor control, action selection and navigation, learning and adaptation, and collective and social behavior.

This book constitutes the proceedings of the 13th International Conference on Queueing Theory and Network Applications, QTNA 2018, held in Tsukuba, Japan in July 2018.The 8 full papers together with 10 short papers included in this volume were carefully reviewed and selected from 57 initial submissions. All the papers to be presented disseminate the latest results covering up-to-date research fields such as performance modeling and analysis of telecommunication systems, retrial and vacation queueing models, optimization of queueing systems, modeling of social systems, application of machine learning in queueing models.

This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA. HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process. The 65 papers presented in this volume were organized in topical sections named: interaction, navigation, and visualization in VAMR; embodiment, communication, and collaboration in VAMR; education, training, and simulation; VAMR in psychotherapy, exercising, and health; virtual reality for cultural heritage, entertainment, and games; industrial and military applications.

This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA. HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process. The 65 papers presented in this volume were organized in topical sections named: interaction, navigation, and visualization in VAMR; embodiment, communication, and collaboration in VAMR; education, training, and simulation; VAMR in psychotherapy, exercising, and health; virtual reality for cultural heritage, entertainment, and games; industrial and military applications.

This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017. The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submissions. They cover topics such as architectures; mathematical foundations; algorithms; safety; understanding; human cognition; and philosophy.

Eine gute Kenntnis des Problembereichs und eine im Projekt geteilte System vision sorgen dafur, dass die Summe der mit Scrum in agiler Weise reali sierten Systemfragmente bei der Abnahme genau dem Kundenwunsch entspricht. Das zur agilen Entwicklung noetige Hintergrundwissen bietet dieses Buch. Zum Vergleich werden einzelne agile Ansatze analysiert und de tailliert vorgestellt - mit Schwerpunkt auf Scrum. Komplexe Projekte erfordern es, dass die Kundenwunsche nicht starr sind, sondern sich im Verlauf eines Projekts bis zur Abnahme andern durfen. Scrum ist ein Verfah ren, das uber die entsprechende Adaptivitat verfugt. Ein System wird daher bei Scrum als eine Folge kleiner Systemfragmente realisiert, die nacheinander imple mentiert werden. Alle Anforderungen an das System durfen sich andern - mit Aus nahme derjenigen, deren Realisierung gerade ansteht. Die hohe Kunst der Entwick lungsmannschaft ist es hierbei, dafur zu sorgen, dass die Summe der reali sierten Softwarefragmente genau dem Kundenwunsch entspricht. Jeder Entwickler muss sich deshalb in der Welt des Kunden auskennen und dieselbe aktuelle Systemvision als Ziel vor Augen haben. Ansonsten ist es ungewiss, ob die Summe der Teile zum gewunschten System konvergiert.

In diesem essential werden die ubergeordneten Zielsetzungen der Applikationsentwicklung und einfuhrung auf vier Evolutionsphasen verteilt, um unterschiedlichen Anforderungen gerecht zu werden. Durch den daraus resultierenden strategischen Applikationslebenszyklus (SALZ) koennen innovative Neuentwicklungen in fruhen Phasen von technischen und architekturbezogenen Vorgaben befreit und agil entwickelt werden, wahrend fur operative Kernsysteme weiterhin ein ausfuhrliches AEnderungsmanagement betrieben wird. Damit bietet der SALZ auch die Grundlage, um in Unternehmen IT-Entwicklungsprojekte adaptiv mit unterschiedlichen Geschwindigkeiten zu realisieren. Alle Erkenntnisse werden am erfolgreichen Praxisbeispiel des Q-Cockpit-Projekts demonstriert.

This three volume set LNAI 9244, 9245, and 9246 constitutes the refereed proceedings of the 8th International Conference on Intelligent Robotics and Applications, ICIRA 2015, held in Portsmouth, UK, in August 2015. The 46 papers included in the third volume are organized in topical sections on mobile robots and intelligent autonomous systems; intelligent system and cybernetics; robot mechanism and design; robotic vision; recognition and reconstruction; and active control in tunneling boring machine.

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA. The 32 full papers presented were carefully selected from 76 submissions. The papers are organized in topical sections such as preferences; manipulation, learning and other issues; utility and decision theory; argumentation; bribery and control; social choice; allocation and other problems; doctoral consortium.

This book constitutes the proceedings of the 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, held in Geneva, Switzerland, in June 2015. The 20 full papers and 16 short contributions included in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections named: design and usability; assistive and sentient environments; human behavior and activities monitoring, and health IT and supportive technology. The book also contains 3 invited talks.

The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019. The total of 378 full and 25 short papers presented in these proceedings was carefully reviewed and selected from 522 submissions. The papers are organized in topical sections as follows: Part I: collective and social robots; human biomechanics and human-centered robotics; robotics for cell manipulation and characterization; field robots; compliant mechanisms; robotic grasping and manipulation with incomplete information and strong disturbance; human-centered robotics; development of high-performance joint drive for robots; modular robots and other mechatronic systems; compliant manipulation learning and control for lightweight robot. Part II: power-assisted system and control; bio-inspired wall climbing robot; underwater acoustic and optical signal processing for environmental cognition; piezoelectric actuators and micro-nano manipulations; robot vision and scene understanding; visual and motional learning in robotics; signal processing and underwater bionic robots; soft locomotion robot; teleoperation robot; autonomous control of unmanned aircraft systems. Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control; robot intelligence technologies and system integration; continuum mechanisms and robots; unmanned underwater vehicles; intelligent robots for environment detection or fine manipulation; parallel robotics; human-robot collaboration; swarm intelligence and multi-robot cooperation; adaptive and learning control system; wearable and assistive devices and robots for healthcare; nonlinear systems and control. Part IV: swarm intelligence unmanned system; computational intelligence inspired robot navigation and SLAM; fuzzy modelling for automation, control, and robotics; development of ultra-thin-film, flexible sensors, and tactile sensation; robotic technology for deep space exploration; wearable sensing based limb motor function rehabilitation; pattern recognition and machine learning; navigation/localization. Part V: robot legged locomotion; advanced measurement and machine vision system; man-machine interactions; fault detection, testing and diagnosis; estimation and identification; mobile robots and intelligent autonomous systems; robotic vision, recognition and reconstruction; robot mechanism and design. Part VI: robot motion analysis and planning; robot design, development and control; medical robot; robot intelligence, learning and linguistics; motion control; computer integrated manufacturing; robot cooperation; virtual and augmented reality; education in mechatronics engineering; robotic drilling and sampling technology; automotive systems; mechatronics in energy systems; human-robot interaction.