Systems analysis and design

This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024.

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.

This book constitutes the refereed post-conference proceedings of the First EAI International Conference on Sustainable Energy for Smart Cities, SESC 2029, held as part of the Smart City 360(deg) Summit event in Braga, Portugal, in December 2019.

This book constitutes the tutorial lectures of the 5th European Business Intelligence Summer School, eBISS 2015, held in Barcelona, Spain, in July 2015.

The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.

This book includes the post-conference proceedings of the 23rd RoboCup International Symposium, held in Sydney, NSW, Australia, in July 2019.

Platform Based Design at the Electronic System Level presents a multi-faceted view of the set of problems that the electronic industry currently faces in the development and integration of complex heterogeneous systems (including both hardware and software components).

This book constitutes revised and selected papers from the 7th International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2021, held in Fuzhou, China, in November 2021.

The Definitive Refactoring Guide, Fully Revamped for Ruby With refactoring, programmers can transform even the most chaotic software into well-designed systems that are far easier to evolve and maintain.

The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019.

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.

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.

Safety-critical systems, in the sense of software-based systems used in safety- critical applications, are 'high-tech'.

This book constitutes revised selected papers of the 8th International Symposium on Security in Computing and Communications, SSCC 2020, held in Chennai, India, in October 2020.

This book constitutes the proceedings of the 9th International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2014, held in Guangzhou, China, in May 2014.

This two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020 held in Taiyuan, China, in September 2020.

This book constitutes the refereed post-conference proceedings of the 11th International Conference on Mobile Networks and Management, MONAMI 2021, held in October 2021.

This volume constitutes the proceedings of the 6th CCF Conference, Big Data 2018, held in Xi'an, China, in October 2018.

This open access book constitutes the refereed proceedings of the 15th IFIP WG 2.

This book discusses a new process mining method along with a detailed comparison between different techniques that provide a complete vision of the process of data acquisition, data analysis, and data prediction.

Fault-Tolerant Systems is the first book on fault tolerance design with a systems approach to both hardware and software.

This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrucken, Germany, in March 2020.

This book constitutes the refereed post-conference proceedings of the 10th International Conference on Mobile Communication and Healthcare, MobiHealth 2021, held in November 2021.

Web services have been used for many years.

This book constitutes the refereed proceedings of the 26th International Conference on Information Security and Cryptology on Information Security and Cryptology - ICISC 2023, held in Seoul, South Korea, during November 29-December 1, 2023The 31 full papers included in this book were carefully reviewed and selected from 78 submissions.

This book constitutes the refereed proceedings of the First Workshop on Big Scientific Data Benchmarks, Architecture, and Systems, SDBA 2018, held in Beijing, China, in June 2018.

This book provides an overview of the problems involved in engineering scalable, elastic, and cost-efficient cloud computing services and describes the CloudScale method - a description of rescuing tools and the required steps to exploit these tools.

This volume constitutes the proceedings of the 26th International Conference on Web Services, ICWS 2019, held as part of SCF 2019 in San Diego, CA, USA in June 2019.

This book constitutes the refereed proceedings of the 11th International Conference on Cloud Computing and Services Science, CLOSER 2021, Virtual Event, during April 28-30, 2021.

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.

This book constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2020, held in November 2020.

Provides practical optimization techniques and modeling tips and tricks for solving challenging wireless networking problems.

Aerospace vehicles are by their very nature a crucial environment for safety-critical systems.

This book offers up novel research which uses analytical approaches to explore nonlinear features exhibited by various dynamic processes.

This book constitutes the refereed proceedings of the 15th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2024, held in  Gardanne, France, during April 9-10, 2024.

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.

This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Human Computer Interaction, IHCI 2023, held in Daegu, South Korea, during November 8-10, 2023.

Protection of enterprise networks from malicious intrusions is critical to the economy and security of our nation.

This book constitutes refereed proceedings of the 8th Conference on Information and Communication Technologies of Ecuador, TICEC 2020, held in November 2020.

This book constitutes the refereed post-conference proceedings of the 6th IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2023, held in Denton, TX, USA, in November 2023.

?

Terraform has become a key player in the DevOps world for defining, launching, and managing infrastructure as code (IaC) across a variety of cloud and virtualization platforms, including AWS, Google Cloud, Azure, and more.

Modern Systems Analysis and Design is your practical guide to the concepts, skills, methodologies, techniques and tools needed to develop information systems as a systems analyst.

Third edition out now with coverage on Generative AI, clean architecture, edge computing, and moreKey FeaturesTurn business needs into end-to-end technical architectures with this practical guideAssess and overcome various challenges while updating or modernizing legacy applicationsFuture-proof your architecture with IoT, machine learning, and quantum computingBook DescriptionBecoming a solutions architect requires a hands-on approach, and this edition of the Solutions Architect's Handbook brings exactly that.

This book introduces readers to an advanced combinatorial testing approach and its application in the cloud environment.

Become well-versed with the tools available in the Siemens TIA toolbox and write PLC and HMI code effectivelyKey FeaturesFind out how to use TIA Portal effectively to boost your productivityLearn about a structured design pattern and understand why it is so powerful when implemented correctlyDiscover efficient project management and design practicesBook DescriptionWith automation requirements on the rise, Siemens' TIA Portal development environment is almost a necessity for any automation engineer.

Design patterns and architectures for building production quality applications using functional programming.

The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023.