Systems analysis and design

This volume constitutes the refereed proceedings of the 29th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2022, held in Salzburg, Austria, in August-September 2022.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.

The two volumes set LNCS 10913-10914 of SCSM 2018 constitutes the proceedings of the 10th International Conference on Social Computing and Social Media, SCSM 2018, held as part of the International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA, in July 2018.

This work considers Kronecker-based models with finite as well as countably infinite state spaces for multidimensional Markovian systems by paying particular attention to those whose reachable state spaces are smaller than their product state spaces.

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Malaga, Spain, in November 2017.

This book constitutes the proceedings of the 18th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2018, held in Madrid, Spain, in June 2018.

This book constitutes the refereed proceedings of the 33rd International Conference, ISC High Performance 2018, held in Frankfurt, Germany, in June 2018.

This book constitutes the refereed proceedings of the 20th International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2018, held in Regensburg, Germany, in September 2018.

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.

This volume constitutes the proceedings of the 7th International Conference on BIGDATA 2018, held as Part of SCF 2018 in Seattle, WA, USA in June 2018.

This book constitutes the proceedings of the 38th IFIP WG 6.

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.

Das vorliegende Buch berichtet über einen innovativen Ansatz, die Reaktionsgeschwindigkeit fertigender Unternehmen zu verbessern, indem cloudbasierte Simulationen automatisiert Alternativen für veränderte Maschinenbelegungen und optimierte Bearbeitungsprozesse generieren und vorbewerten.

This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017.

This book constitutes the refereed proceedings of the 30th International Conference on Advanced Information Systems Engineering, CAiSE 2018, held in Talinn, Estonia, in June 2018.

This book constitutes the refereed proceedings of the 14th World Congress on Services, SERVICES 2018, held as part of the Services Conference Federation, SCF 2018, in Seattle, USA, in June 2018.

The book provides concrete tips for the successful organization of software tests.

This book constitutes the proceedings of the 19th International Conference on Cryptographic Hardware and Embedded Systems, CHES 2017, held in Taipei, Taiwan, in September 2017.

This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017.

​In den vergangenen Jahren nahm die Veränderungsgeschwindigkeit in den Unternehmen stetig zu.

Changsheng Hua proposes two approaches, an input/output recovery approach and a performance index-based approach for robustness and performance optimization of feedback control systems.

This book constitutes the refereed proceedings of the 14th IFIP WG 2.

This book discusses accountability and privacy in network security from a technical perspective, providing a comprehensive overview of the latest research, as well as the current challenges and open issues.

This book comprehensively introduces data deduplication technologies for storage systems.

The IoT topology defines the way various components communicate with each other within a network.

This book presents the state-of-the-art work in terms of searchable storage in cloud computing.

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022.

This book is an edited collection that explores the fundamental concepts of real-time simulation/hardware-in-the-loop testing using 'Typhoon HIL' for complex electrical systems.

This book is an edited collection that explores the fundamental concepts of real-time simulation/hardware-in-the-loop testing using 'Typhoon HIL' for complex electrical systems.

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software.

This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.

This book constitutes the refereed proceedings of the 8th Russian Supercomputing Days on Supercomputing, RuSCDays 2022, which took place in Moscow, Russia, in September 2022.

This book constitutes the proceedings of the 35th International Conference on Architecture of Computing Systems, ARCS 2022, held virtually in July 2022.

This book constitutes the refereed proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2021, held virtually due to the COVID-19 crisis, in February 2021.

This book constitutes the proceedings of the 7th International Conference on Interactive Collaborative Robotics, ICR 2022, held in Fuzhou, China, in December 2022.

This book constitutes the revised selected proceedings of Second International Symposium on Biomedical and Computational Biology, BECB 2022, held as a virtual event in August 2022.

This new edition textbook continues down the path that the first edition, winner of the 2013 IISE/Joint Publishers Book-of-the-Year Award, successfully carved out.

Learn to identify problems when developing complex systems and design effective solutions using a model-based system engineering approachKey FeaturesImplement model-based systems engineering, including visualization, verification, and validation processesExplore the complexity of a system and learn how it can be commissioned as an effective resourceFilled with comprehensive explanations, practical examples and self assessment testsBook DescriptionSystems engineering helps in developing and describing complex systems.

The theoretical basis of membrane computing was established in the early 2000s with fundamental research into the computational power, complexity aspects and relationships with other (un)conventional computing paradigms.

This book constitutes the refereed proceedings of the 8th IFIP WG 2.

Explore the different aspects of the technical program manager's role in the tech world and get ready to advance your career across the Big Five tech companiesKey FeaturesUncover the secret to becoming a successful technical program managerLearn some of the system design principles and architectural concepts necessary for a TPMGet up and running with a wide range of foundational program management topicsBook DescriptionThe technical program manager (TPM) is a relatively new role born out of the need of the tech industry to have a specialized practitioner who speaks both tech and business and leverages this bilingual talent to get results that no one else can.

A step-by-step, comprehensive guide that includes real-world use cases to help you successfully develop and run applications and mission-critical workloads using MicroK8sKey FeaturesAn easy-to-follow guide that helps you get started with MicroK8s and other Kubernetes componentsUnderstand the key concepts and constraints for building IoT and edge architecturesGet guidance on how to develop and deploy use cases and examples on IoT and edge computing platformsBook DescriptionAre you facing challenges with developing, deploying, monitoring, clustering, storing, securing, and managing Kubernetes in production environments as you're not familiar with infrastructure technologies?