Skip to main content
Elsevier

Books in Software engineering

  • Synthetic Media, Deepfakes, and Cyber Deception

    Attacks, Analysis, and Defenses
    • 1st Edition
    • Cameron H. Malin
    • English
    Synthetic Media, Deepfakes, and Cyber Deception: Attacks, Analysis, and Defenses introduces the only analytical Synthetic Media Analysis Framework (SMAF) to help describe cyber threats and help security professionals anticipate and analyze attacks. This framework encompasses seven dimensions: Credibility, Control, Medium, Interactivity, Familiarity, Intended Target, and Evocation. Synthetic media is a broad term that encompasses the artificial manipulation, modification, and production of information, covering a spectrum from audio-video deepfakes to text-based chatbots. Synthetic media provides cyber attackers and scammers with a game-changing advantage over traditional ROSE attacks because they have the potential to convincingly impersonate close associates through text, imagery, voice, and video. This burgeoning threat has yet to be meaningfully addressed through any written treatment on the topic. The book is co-authored by three cyber influence and deception experts who have gained deep knowledge and experience on the topic through diverse, true operational pathways and backgrounds. The diversity and perspectives of the author team makes the content in the book the broadest and deepest treatment of synthetic media attacks available to readers.

  • Agile Systems Engineering with SysML v2 and AI

    • 2nd Edition
    • Bruce Powel Douglass
    • English
    Agile Systems Engineering with SysML v2 and AI, Second Edition presents a practical vision of systems engineering in which requirements, structure, behavior, and analysis are captured as precise engineering data—while still addressing the “big system” concerns of safety, security, reliability, privacy, and performance in an agile context. World-renowned author and speaker Dr. Bruce Powel Douglass shows how agile methods, model-based systems engineering (MBSE), and artificial intelligence (AI), work together to reduce ambiguity, expose defects earlier, and sustain end-to-end traceability from stakeholder intent to verification evidence.This edition goes beyond concepts by providing usable, repeatable workflows for modern programs—covering incremental, agile, and DevSecOps-oriented lifecycles and the concrete process steps and gates that make them executable in practice. Rather than treating modeling as documentation, the book treats SysML v2 as a semantic backbone for capturing requirements, architecture, interfaces, behaviors, constraints, and verification intent in one coherent source of truth.New to this edition is an introduction to SysML v2 and an entire chapter on AI and modern MBSE, showing where AI assistants provide leverage, how to apply quality-control gates to keep outputs trustworthy, and how to integrate AI into real engineering workflows without surrendering correctness. Each chapter includes AI prompt patterns for MBSE—ready-to-use prompt structures for generating SysML v2 model elements, extracting and normalizing requirements from external sources, reconciling terminology, and reviewing models against project rules and acceptance criteria. Throughout, Douglass equips systems engineers with concrete methods to prevent specification defects, improve system quality, and reduce rework—so teams can move faster and build with greater confidence

  • Development of Multi-Agent System Infrastructures

    A Practical Approach
    • 1st Edition
    • Andrei Olaru
    • English
    Development of Multi-Agent Systems Infrastructure: A Practical Approach explores the creation of modular frameworks to support the deployment of real-world software applications utilizing multi-agent systems (MAS). Drawing from the author’s hands-on experience with the FLASH-MAS framework—a Fast Lightweight Agent Shell—the book delves into both theoretical models and practical solutions for MAS implementation. It addresses the complexities of deploying autonomous agents across diverse fields such as manufacturing, robotics, health care, and supply chain management, highlighting the shared challenges developers face when managing distributed, networked, or large-scale agent interactions. The book is organized into three main sections, covering models and languages for MAS, the deployment and interaction between system entities, and practical guidance for implementing robust MAS frameworks. Emphasizing modularity, the author presents adaptable tools and solutions that can be independently utilized for system development and maintenance. Practical issues such as entity lifecycle management, environmental interactions, and system robustness are thoroughly examined, making this resource valuable for both new and experienced MAS developers.

  • Pioneering Autonomous Technology: A Deep Dive into Hyper Automation

    • 1st Edition
    • Volume 143
    • English
    Pioneering Autonomous Technology: A Deep Dive into Hyper Automation, Volume 143 in the Advances in Computers series, showcases the transformative role of artificial intelligence, deep learning, and machine learning in creating safer, more efficient, and socially inclusive environments. This volume explores how autonomous technologies are reshaping healthcare, transportation, agriculture, and urban living. Chapters cover important topics such as a Survey on Deep Learning Based Autonomous Medical Diagnosis Models for Chronic Disease Identification, Human-Robot Interaction: Ensuring Safe and Effective Coordination, Blazing Trails: Cutting-Edge Technologies Revolutionizing Forest Fire Screening, Connected Communities: Fostering Social Inclusion and Equity in Smart Cities through IoT Integration, and much more.Additional chapters cover a Preliminary Study of Retinal Biomarkers Detection on Fundus Images for the Diagnosis of Alzheimer’s and Parkinson’s Diseases, Deep Learning Driven Classification of Sweet Lime Leaves: A Superior CNN Approach for Agricultural Automation, Machine Learning in Healthcare: Advancements, Applications, and Challenges, Feature Extraction and Object Recognition in Autonomous Systems, The Future of Autonomous Vehicles: Industry Trends, Technologies, and Challenges, Autonomous Systems: Shaping the Future of Industries and Transportation, and many other topics that will be of interest to readers.

  • Mastering DevOps

    A Cloud Engineering and Data Science Perspective
    • 1st Edition
    • Chinmaya Kumar Dehury + 1 more
    • English
    Mastering DevOps: A Cloud Engineering and Data Science Perspective addresses the challenge of understanding and implementing DevOps in an era of rapid technological advancement where cloud-based infrastructure and data science applications have become integral to many organizations. The book covers the specific requirements of these fields, such as scalability, automation, and managing large-scale data and containerized applications. Content focuses on DevOps principles while integrating core technologies such as cloud computing, microservices, and continuous integration/continuo... delivery (CI/CD). Additionally, the book provides coverage of a DevOps approach tailored to data science by covering recent advancements and explaining their relevance in a DevOps environment. Specific topics cover fundamental principles, including history, planning, and essential tools like Git, introduce the core technologies and architectures that power modern DevOps, such as microservices, cloud computing, and containerization, and focus on the practical implementation of DevOps, exploring key practices like continuous integration, automation, and monitoring. Finally, the book delves into advanced topics and future trends, such as deployment strategies and the extension of DevOps principles to data science and other narrowed-down domains.

  • AI, Blockchain and Social Network on Urban Crisis Management: Leveraging Emerging Technologies for Disaster Response and Resilience in Smart Cities

    • 1st Edition
    • Volume 142
    • English
    AI, Blockchain and Social Network on Urban Crisis Management: Leveraging Emerging Technologies for Disaster Response and Resilience in Smart Cities, Volume 142 in the Advances in Computers series, examines how cutting-edge digital technologies are reshaping disaster preparedness and response. This volume highlights the convergence of artificial intelligence, blockchain, and social network analysis to predict, prevent, and manage urban crises. Chapters explore Nutrient Recovery from Livestock Effluent in a Circular Economy Approach, Leveraging Artificial Intelligence for Deforestation Monitoring and Conservation in the Colombian Amazon, Experimental and Theoretical Investigation of Diffusion in Hydrocarbon-Based Dense Fluids for Enhanced Oil Recovery, and much more.Additional chapters cover Navigating the Complexities: Challenges, Weaknesses, and Hurdles in Integrating AI, Blockchain, and Social Networks for Urban Crisis Management, Educating Europe's Guardians: Ethical AI and Emerging Technologies in Law Enforcement Training for Urban Crisis Management, The Intersection of AI, Blockchain, and Social Networks in Urban Crises Management, Application of Graph Theory in Disaster Management for Efficient Handling and Mobilizing of Resources and Logistics, Analyzing the Role of Social Networks in Urban Crisis Management through Citizen Participation and Smart Technological Deployment, and many more important and timely topics.

  • Cloud-native Architecture (CNA) and Artificial Intelligence (AI) for the Future of Software Engineering: The Principles, Patterns, Platforms and Practices

    • 1st Edition
    • Volume 141
    • English
    Cloud-native Architecture (CNA) and Artificial Intelligence (AI) for the Future of Software Engineering: The Principles, Patterns, Platforms and Practices, Volume 141 in the Advances in Computers series, explores the convergence of artificial intelligence, machine learning, and modern software engineering practices. Chapters in this new release include Demystifying the Cloud-native Artificial Intelligence (CNAI) Paradigm, Articulating Machine and Deep Learning Models for Next-Generation Software Development, Delineating Artificial Intelligence (AI) and Its Potentials for Automated Software Engineering, Leveraging Machine and Deep Learning (ML/DL) Algorithms towards AI Models for Automating Software Development, and more.Other sections cover Artificial Intelligence (AI) Technologies and Tools for Accelerated Software Development, Demystifying the Agentic AI Paradigm for Accelerated Software Engineering, Detailing AI Techniques and Tools for Software Engineering Acceleration and Automation, Generative AI Tools for Accelerated Software Engineering, Empowering Software Engineering Automation through Explainable AI, and much more.

  • Engineering Generative AI-Based Software

    • 1st Edition
    • Miroslaw Staroń
    • English
    Engineering Generative-AI Based Software discusses both the process of developing this kind of AI-based software and its architectures, combining theory with practice. Sections review the most relevant models and technologies, detail software engineering practices for such systems, e.g., eliciting functional and non-functional requirements specific to generative AI, explore various architectural styles and tactics for such systems, including different programming platforms, and show how to create robust licensing models. Finally, readers learn how to manage data, both during training and when generating new data, and how to use generated data and user feedback to constantly evolve generative AI-based software.As generative AI software is gaining popularity thanks to such models as GPT-4 or Llama, this is a welcomed resource on the topics explored. With these systems becoming increasingly important, Software Engineering Professionals will need to know how to overcome challenges in incorporating GAI into the products and programs they develop.

  • Consensus

    Fueling Blockchain Innovation and DApp Expansion
    • 1st Edition
    • Ali Ahmadian + 3 more
    • English
    Consensus: Fueling Blockchain Innovation and DApp Expansion explores the complexities of consensus mechanisms in order to shed light on emerging trends, best practices, and real-world applications that can fuel blockchain innovation while encouraging the dissemination of DApps across various industries. Additionally, the book bridges a crucial gap in the literature by providing in-depth insights into the role of consensus mechanisms in shaping the future of blockchain technology and decentralized applications. This book delves into the fundamentals of blockchain technology along with the roles and significance of vital consensus mechanisms, their underlying principles, formal specifications, functional characteristics, architecture, frameworks, and potential across diverse blockchain applications. Moreover, the book meticulously explores classification, performance metrics, and design parameters. It offers a comprehensive comparative analysis of these mechanisms, shedding light on their computational and communication complexity, strengths, weaknesses, and suitability. Additionally, the book delves into future research directions, highlighting emerging trends and areas requiring further investigation. It also addresses the efforts underway to address existing challenges and open issues within the realm of consensus mechanisms, ensuring a comprehensive understanding of the state-of-the-art in this pivotal aspect of blockchain technology. Due to the wide range of availability and evolving new consensus mechanisms, selecting an optimal and suitable consensus for a specific blockchain application is one of the crucial challenges in the development and innovation of blockchain systems. This book has also a discussion on appropriate selection algorithms based on multi-attribute decision-making for specific blockchain systems and DApps development.

  • Quantum Computing

    Principles and Paradigms
    • 1st Edition
    • Rajkumar Buyya + 1 more
    • English
    Quantum Computing: Principles and Paradigms covers a broad range of topics, providing a state-of-the-art and comprehensive reference for the rapid progress in the field of quantum computing and related technologies from major international companies (such as IBM, Google, Intel, Rigetti, Q-Control) and academic researchers. This book appeals to a broad readership, as it covers comprehensive topics in the field of quantum computing, including hardware, software, algorithms, and applications, with chapters written by both academic researchers and industry developers.This book presents readers with the fundamental concepts of quantum computing research, along with the challenges involved in developing practical devices and applications.

  • The Convergence of Artificial Intelligence (AI) and 6G Communication Networks: The Needs and Implications

    • 1st Edition
    • Volume 139
    • English
    Advances in Computers, Volume 139 focuses on the convergence of Artificial Intelligence (AI) and 6G communication networks, addressing key advancements and implications across various fields. It explores cybersecurity challenges in 5G networks, solutions for 5G performance evaluation, and the transition to 5G-Advanced. The role of AI in enhancing 6G network performance, resource allocation, and management is discussed alongside the technical foundations of 6G and its ability to power edge AI applications. The volume highlights how 6G will transform industries like logistics through automation and AI-driven decision-making, while also covering strategic management perspectives on AI-driven innovations. Sustainability is a key theme, with discussions on energy-efficient cloud and quantum data centers, as well as the integration of green innovations into AI-6G synergy. The metaverse and its reliance on 5G and 6G for immersive experiences are reviewed, alongside the revolutionary potential of quantum computing in 6G networks. The practical applications of AI, such as a CNN-based model for brain tumor detection using 5G edge cloud, and federated learning for 6G, demonstrate the technology's impact on healthcare and data privacy. Additionally, the volume delves into 6G’s role in enabling next-generation metaverse systems and AI-powered telemedicine, while providing insights into the architecture, communication systems, and industrial use cases of 6G. It concludes by summarizing the advancements, advantages, and challenges of 6G, offering a comprehensive view of its future impact on global connectivity.

  • Quantum Process Algebra

    • 1st Edition
    • Yong Wang
    • English
    Quantum Process Algebra introduces readers to the algebraic properties and laws for quantum computing. The book provides readers with all aspects of algebraic theory for quantum computing, including the basis of semantics and axiomatization for quantum computing. With the assumption of a quantum system, readers will learn to solve the modeling of the three main components in a quantum system: the unitary operator, quantum measurement, and quantum entanglement, with full support of quantum and classical computing in closed systems. Next, the book establishes the relationship between probabilistic quantum bisimilarity and classical probabilistic bisimilarity, including strong probabilistic bisimilarity and weak probabilistic bisimilarity, which makes an axiomatization of quantum processes possible. With this framework, quantum and classical computing mixed processes are unified with the same structured operational semantics. Finally, the book establishes a series of axiomatizations of quantum process algebras. These process algebras support nearly all the main computation properties. Quantum and classical computing in closed quantum systems are unified with the same equational logic and the same structured operational semantics under the framework of ACP-like probabilistic process algebra. This unification means that the mathematics in the book can be used widely for verification of quantum and classical computing mixed systems, for example, most quantum communication protocols. ACP-like axiomatization also inherits the advantages of ACP, for example, and modularity means that it can be extended in an elegant way.

  • Probability for Deep Learning Quantum

    A Many-Sorted Algebra View
    • 1st Edition
    • Charles R. Giardina
    • English
    Probability for Deep Learning Quantum provides readers with the first book to address probabilistic methods in the deep learning environment and the quantum technological area simultaneously, by using a common platform: the Many-Sorted Algebra (MSA) view. While machine learning is created with a foundation of probability, probability is at the heart of quantum physics as well. It is the cornerstone in quantum applications. These applications include quantum measuring, quantum information theory, quantum communication theory, quantum sensing, quantum signal processing, quantum computing, quantum cryptography, and quantum machine learning. Although some of the probabilistic methods differ in machine learning disciplines from those in the quantum technologies, many techniques are very similar.Probability is introduced in the text rigorously, in Komogorov’s vision. It is however, slightly modified by developing the theory in a Many-Sorted Algebra setting. This algebraic construct is also used in showing the shared structures underlying much of both machine learning and quantum theory. Both deep learning and quantum technologies have several probabilistic and stochastic methods in common. These methods are described and illustrated using numerous examples within the text. Concepts in entropy are provided from a Shannon as well as a von-Neumann view. Singular value decomposition is applied in machine learning as a basic tool and presented in the Schmidt decomposition. Besides the in-common methods, Born’s rule as well as positive operator valued measures are described and illustrated, along with quasi-probabilities. Author Charles R. Giardina provides clear and concise explanations, accompanied by insightful and thought-provoking visualizations, to deepen your understanding and enable you to apply the concepts to real-world scenarios.

  • Soft Computing in Smart Manufacturing and Materials

    • 1st Edition
    • Sudan Jha + 4 more
    • English
    Soft Computing in Smart Manufacturing and Materials explains the role of soft computing in the manufacturing industries. It presents the techniques, concepts and design principles behind smart soft computing, and describes how they can be applied in the development and manufacture of smart materials. It provides perspectives for design and commissioning of intelligent applications, including in health care, agriculture, and production assembly, and reviews the latest intelligent technologies and algorithms related to the methodologies of monitoring and mitigation of sustainable engineering.

  • Programming Language Pragmatics

    • 5th Edition
    • Michael Scott + 1 more
    • English
    Programming Language Pragmatics is the most comprehensive programming language textbook available today, with nearly 1000 pages of content in the book, plus hundreds more pages of reference materials and ancillaries online. Michael Scott takes theperspective that language design and language implementation are tightly interconnected, and that neither can be fully understood in isolation. In an approachable, readable style, he discusses more than 50 languages in the context of understanding how code isinterpreted or compiled, providing an organizational framework for learning new languages, regardless of platform. This edition has been thoroughly updated to cover the most recent developments in programming language design and provides both a solid understanding of the most important issues driving software development today

  • Truly Concurrent Process Algebra With Localities

    • 1st Edition
    • Yong Wang
    • English
    Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and Π Calculus for True Concurrency (Π). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity.This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.

  • Theory of Structured Parallel Programming

    • 1st Edition
    • Yong Wang
    • English
    Theory of Structured Parallel Programming is a comprehensive guide to structured parallel programming corresponding to traditional structured sequential programming. The book provides readers with comprehensive coverage of theoretical foundations of structured parallel programming, including analyses of parallelism and concurrency, truly concurrent process algebras, building block-based structured parallel programming, modelling and verification of parallel programming language, modelling and verification of parallel programming patterns, as well as modeling and verification of distributed systems.There have been always two ways to approach parallel computing: one is the structured way, and the other is the graph-based (true concurrent) way. The structured way is often based on the interleaving semantics, such as process algebra CCS. Since the parallelism in interleaving semantics is not a fundamental computational pattern (the parallel operator can be replaced by alternative composition and sequential composition), the parallel operator often does not occur as an explicit operator, such as in the mainstream programming languages C, C++, Java, et al.

  • Artificial Intelligence and Machine Learning for Open-world Novelty

    • 1st Edition
    • Volume 134
    • English
    Artificial Intelligence and Machine Learning for Open-world Novelty, Volume 134 in the Advances in Computers series presents innovations in computer hardware, software, theory, design and applications, with this updated volume including new chapters on AI and Machine Learning for Real-world problems, Graph Neural Network for learning complex problems, Adaptive Software platform architecture for Aerial Vehicle Safety Levels in real-world applications, OODA Loop for Learning Open-world Novelty Problems, Privacy-Aware Crowd Counting Methods for Real-World Environment, AI and Machine Learning for 3D Computer Vision Applications in Open-world, and PIM Hardware accelerators for real-world problems.Other sections cover Irregular Situations in Real-World Intelligent Systems, Offline Reinforcement Learning Methods for Real-world Problems, Addressing Uncertainty Challenges for Autonomous Driving in Real-World Environments, and more.

  • Internet of Things: Architectures for Enhanced Living Environments

    • 1st Edition
    • Volume 133
    • Goncalo Marques
    • English
    Internet of Things: Architectures for Enhanced Living Environments, Volume 133 presents interesting chapters on a variety of timely topics, including Explainable Artificial Intelligence for Enhanced Living Environments: A Study on User Perspective, Human behavioral anomaly pattern mining within an IoT environment: an exploratory study, Indoor Activity Localization Technologies for Assisted Living: Opportunities, Challenges, and Future Directions, Smart Indoor Air Quality Monitoring for Enhanced Living Environments and Ambient Assisted Living, Usability evaluation for the IoT use in Enhanced Living Environments, Roadmap to the elderly enhanced living and care environments: applications and challenges on the Internet of Things domain, and much more.

  • Handbook of Truly Concurrent Process Algebra

    • 1st Edition
    • Yong Wang
    • English
    Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This complete handbook is divided into five Parts: Algebraic Theory for Reversible Computing, Probabilistic Process Algebra for True Concurrency, Actors – A Process Algebra-Based Approach, Secure Process Algebra, and Verification of Patterns. The author demonstrates actor models which are captured using the following characteristics: Concurrency, Asynchrony, Uniqueness, Concentration, Communication Dependency, Abstraction, and Persistence. Every pattern is detailed according to a regular format to be understood and utilized easily, which includes introduction to a pattern and its verifications.Patter... of the vertical domains are also provided, including the domains of networked objects and resource management. To help readers develop and implement the software patterns scientifically, the pattern languages are also presented.

  • Perspective of DNA Computing in Computer Science

    • 1st Edition
    • Volume 129
    • English
    DNA or Deoxyribonucleic Acid computing is an emerging branch of computing that uses DNA sequence, biochemistry, and hardware for encoding genetic information in computers. Here, information is represented by using the four genetic alphabets or DNA bases, namely A (Adenine), G (Guanine), C (Cytosine), and T (Thymine), instead of the binary representation (1 and 0) used by traditional computers. This is achieved because short DNA molecules of any arbitrary sequence of A, G, C, and T can be synthesized to order. DNA computing is mainly popular for three reasons: (i) speed (ii) minimal storage requirements, and (iii) minimal power requirements. There are many applications of DNA computing in the field of computer science. Nowadays, DNA computing is widely used in cryptography for achieving a strong security technique, so that unauthorized users are unable to retrieve the original data content. In DNA-based encryption, data are encrypted by using DNA bases (A, T, G, and C) instead of 0 and 1. As four DNA bases are used in the encryption process, DNA computing supports more randomness and makes it more complex for attackers or malicious users to hack the data. DNA computing is also used for data storage because a large number of data items can be stored inside the condensed volume. One gram of DNA holds approx DNA bases or approx 700 TB. However, it takes approx 233 hard disks to store the same data on 3 TB hard disks, and the weight of all these hard disks can be approx 151 kilos. In a cloud environment, the Data Owner (DO) stores their confidential encrypted data outside of their own domain, which attracts many attackers and hackers. DNA computing can be one of the best solutions to protect the data of a cloud server. Here, the DO can use DNA bases to encrypt the data by generating a long DNA sequence. Another application of DNA computing is in Wireless Sensor Network (WSN). Many researchers are trying to improve the security of WSN by using DNA computing. Here, DNA cryptography is used along with Secure Socket Layer (SSL) that supports a secure medium to exchange information. However, recent research shows some limitations of DNA computing. One of the critical issues is that DNA cryptography does not have a strong mathematical background like other cryptographic systems. This edited book is being planned to bring forth all the information of DNA computing. Along with the research gaps in the currently available books/literature, this edited book presents many applications of DNA computing in the fields of computer science. Moreover, research challenges and future work directions in DNA computing are also provided in this edited book.

  • Principles of Big Graph: In-depth Insight

    • 1st Edition
    • Volume 128
    • English
    Principles of Big Graph: In-depth Insight, Volume 128 in the Advances in Computer series, highlights new advances in the field with this new volume presenting interesting chapters on a variety of topics, including CESDAM: Centered subgraph data matrix for large graph representation, Bivariate, cluster and suitability analysis of NoSQL Solutions for big graph applications, An empirical investigation on Big Graph using deep learning, Analyzing correlation between quality and accuracy of graph clustering, geneBF: Filtering protein-coded gene graph data using bloom filter, Processing large graphs with an alternative representation, MapReduce based convolutional graph neural networks: A comprehensive review. Fast exact triangle counting in large graphs using SIMD acceleration, A comprehensive investigation on attack graphs, Qubit representation of a binary tree and its operations in quantum computation, Modified ML-KNN: Role of similarity measures and nearest neighbor configuration in multi label text classification on big social network graph data, Big graph based online learning through social networks, Community detection in large-scale real-world networks, Power rank: An interactive web page ranking algorithm, GA based energy efficient modelling of a wireless sensor network, The major challenges of big graph and their solutions: A review, and An investigation on socio-cyber crime graph.

  • Engineering a Compiler

    • 3rd Edition
    • Keith D. Cooper + 1 more
    • English
    *Textbook and Academic Authors Association (TAA) Textbook Excellence Award Winner, 2024*Engineering a Compiler, Third Edition covers the latest developments in compiler technology, with new chapters focusing on semantic elaboration (the problems that arise in generating code from the ad-hoc syntax-directed translation schemes in a generated parser), on runtime support for naming and addressability, and on code shape for expressions, assignments and control-structures. Leading educators and researchers, Keith Cooper and Linda Torczon, have revised this popular text with a fresh approach to learning important techniques for constructing a modern compiler, combining basic principles with pragmatic insights from their own experience building state-of-the-art compilers.

  • The Blockchain Technology for Secure and Smart Applications across Industry Verticals

    • 1st Edition
    • Volume 121
    • English
    The Blockchain Technology for Secure and Smart Applications across Industry Verticals, Volume 121, presents the latest information on a type of distributed ledger used for maintaining a permanent and tamper-proof record of transactional data. The book presents a novel compendium of existing and budding Blockchain technologies for various smart applications. Chapters in this new release include the Basics of Blockchain, The Blockchain History, Architecture of Blockchain, Core components of Blockchain, Blockchain 2.0: Smart Contracts, Empowering Digital Twins with Blockchain, Industrial Use Cases at the Cusp of the IoT and Blockchain Paradigms, Blockchain Components and Concepts, Digital Signatures, Accumulators, Financial Systems, and more. This book is a unique effort to illuminate various techniques to represent, improve and authorize multi-institutional and multidisciplinary research in a different type of smart applications, like the financial system, smart grid, transportation system, etc. Readers in identity-privacy, traceability, immutability, transparency, auditability, and security will find it to be a valuable resource.

  • The Art of Multiprocessor Programming

    • 2nd Edition
    • Maurice Herlihy + 3 more
    • English
    The Art of Multiprocessor Programming, Second Edition, provides users with an authoritative guide to multicore programming. This updated edition introduces higher level software development skills relative to those needed for efficient single-core programming, and includes comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. The book is an ideal resource for students and professionals alike who will benefit from its thorough coverage of key multiprocessor programming issues.

  • Durable Phase-Change Memory Architectures

    • 1st Edition
    • Volume 118
    • English
    Advances in Computers, Volume 118, the latest volume in this innovative series published since 1960, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters in this updated release include Introduction to non-volatile memory technologies, The emerging phase-change memory, Phase-change memory architectures, Inter-line level schemes for handling hard errors in PCMs, Handling hard errors in PCMs by using intra-line level schemes, and Addressing issues with MLC Phase-change Memory.

  • The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases

    • 1st Edition
    • Volume 117
    • English
    The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases, Volume 117, the latest volume in the Advances in Computers series, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters vividly illustrate how the emerging discipline of digital twin is strategically contributing to various digital transformation initiatives. Specific chapters cover Demystifying the Digital Twin Paradigm, Digital Twin Technology for "Smarter Manufacturing", The Fog Computing/ Edge Computing to leverage Digital Twin, The industry use cases for the Digital Twin idea, Enabling Digital Twin at the Edge, The Industrial Internet of Things (IIOT), and much more.

  • Advances in Computers

    • 1st Edition
    • Volume 112
    • English
    Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques.

  • Certifiable Software Applications 3

    Downward Cycle
    • 1st Edition
    • Jean-Louis Boulanger
    • English
    Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a presentation of programming languages and their impact on certifiability is included.

  • Blockchain Technology: Platforms, Tools and Use Cases

    • 1st Edition
    • Volume 111
    • English
    Blockchain Technology: Platforms, Tools and Use Cases, Volume 111, the latest release in the Advances in Computers series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. This volume has 8 Chapters that discuss the various aspects of Blockchain technology.

  • Dark Silicon and Future On-chip Systems

    • 1st Edition
    • Volume 110
    • English
    Dark Silicon and the Future of On-chip Systems, Volume 110, the latest release in the Advances in Computers series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications, with this release focusing on an Introduction to dark silicon and future processors, a Revisiting of processor allocation and application mapping in future CMPs in the dark silicon era, Multi-objectivism in the dark silicon age, Dark silicon aware resource management for many-core systems, Dynamic power management for dark silicon multi-core processors, Topology specialization for networks-on-chip in the dark silicon era, and Emerging SRAM-based FPGA architectures.

  • A Deep Dive into NoSQL Databases: The Use Cases and Applications

    • 1st Edition
    • Volume 109
    • English
    A Deep Dive into NoSQL Databases: The Use Cases and Applications, Volume 109, the latest release in the Advances in Computers series first published in 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth. This update includes sections on NoSQL and NewSQL databases for big data analytics and distributed computing, NewSQL databases and scalable in-memory analytics, NoSQL web crawler application, NoSQL Security, a Comparative Study of different In-Memory (No/New)SQL Databases, NoSQL Hands On-4 NoSQLs, the Hadoop Ecosystem, and more.

  • Advances in Computers

    • 1st Edition
    • Volume 108
    • English
    Advances in Computers, Volume 108, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. This book provides contributors with a medium in which they can explore subjects in greater depth and breadth than similar topics in journal articles allow.

  • Environment Modeling-Based Requirements Engineering for Software Intensive Systems

    • 1st Edition
    • Zhi Jin
    • English
    Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems, presenting a systematic, promising approach to identifying, clarifying, modeling, deriving, and validating the requirements of software-intensive systems from well-modeled environment simulations. In addition, the book presents a new view of software capability, i.e. the effect-based software capability in terms of environment modeling.

  • Advances in Computers

    • 1st Edition
    • Volume 107
    • English
    Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.

  • Advances in Computers

    • 1st Edition
    • Volume 106
    • English
    Advances in Computers, Volume 106 is the latest volume in the series, which has been published since 1960. This update presents innovations in computer hardware, software, theory, design and applications, with new chapters in this volume including sections on A New Course on R&D Project Management in Computer Science and Engineering: Subjects Taught, Rationales Behind, and Lessons Learned, Advances in Dataflow Systems, Adaptation and Evaluation of the Simplex Algorithm for a Data-Flow Architecture, and Simple Operations in Memory to Reduce Data Movement. In addition, this series provides contributors with a medium to explore their subjects in greater depth than journal articles usually allow.

  • Deception in the Digital Age

    Exploiting and Defending Human Targets through Computer-Mediated Communications
    • 1st Edition
    • Cameron H. Malin + 3 more
    • English
    Deception in the Digital Age: Exploiting and Defending Human Targets Through Computer-Mediated Communication guides readers through the fascinating history and principles of deception—and how these techniques and stratagems are now being effectively used by cyber attackers. Users will find an in-depth guide that provides valuable insights into the cognitive, sensory and narrative bases of misdirection, used to shape the targeted audience’s perceptions and beliefs. The text provides a detailed analysis of the psychological, sensory, sociological, and technical precepts that reveal predictors of attacks—and conversely postmortem insight about attackers—presenting a unique resource that empowers readers to observe, understand and protect against cyber deception tactics. Written by information security experts with real-world investigative experience, the text is the most instructional book available on the subject, providing practical guidance to readers with rich literature references, diagrams and examples that enhance the learning process.

  • Software Architecture for Big Data and the Cloud

    • 1st Edition
    • Ivan Mistrik + 4 more
    • English
    Software Architecture for Big Data and the Cloud is designed to be a single resource that brings together research on how software architectures can solve the challenges imposed by building big data software systems. The challenges of big data on the software architecture can relate to scale, security, integrity, performance, concurrency, parallelism, and dependability, amongst others. Big data handling requires rethinking architectural solutions to meet functional and non-functional requirements related to volume, variety and velocity. The book's editors have varied and complementary backgrounds in requirements and architecture, specifically in software architectures for cloud and big data, as well as expertise in software engineering for cloud and big data. This book brings together work across different disciplines in software engineering, including work expanded from conference tracks and workshops led by the editors.

  • Advances in Computers

    • 1st Edition
    • Volume 105
    • English
    Advances in Computers, the latest volume in the series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.

  • Certifiable Software Applications 2

    Support Processes
    • 1st Edition
    • Jean-Louis Boulanger
    • English
    Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition, analysis of the impact of the use of COTS and pre-existing software on certifiable software is presented. Finally, the last support process concerns the management of commercial tools, the creation of a specific tools, and therefore the qualification of tools, which is based on their impact on the final software.

  • Managing Trade-offs in Adaptable Software Architectures

    • 1st Edition
    • Ivan Mistrik + 4 more
    • English
    Managing Trade-Offs in Adaptable Software Architectures explores the latest research on adapting large complex systems to changing requirements. To be able to adapt a system, engineers must evaluate different quality attributes, including trade-offs to balance functional and quality requirements to maintain a well-functioning system throughout the lifetime of the system. This comprehensive resource brings together research focusing on how to manage trade-offs and architect adaptive systems in different business contexts. It presents state-of-the-art techniques, methodologies, tools, best practices, and guidelines for developing adaptive systems, and offers guidance for future software engineering research and practice. Each contributed chapter considers the practical application of the topic through case studies, experiments, empirical validation, or systematic comparisons with other approaches already in practice. Topics of interest include, but are not limited to, how to architect a system for adaptability, software architecture for self-adaptive systems, understanding and balancing the trade-offs involved, architectural patterns for self-adaptive systems, how quality attributes are exhibited by the architecture of the system, how to connect the quality of a software architecture to system architecture or other system considerations, and more.

  • Building Intelligent Information Systems Software

    Introducing the Unit Modeler Development Technology
    • 1st Edition
    • Thomas D. Feigenbaum
    • English
    Building Intelligent Information Systems Software shows scientists and engineers how to build applications that model complex information, data, and knowledge without the need for coding. Traditional software development takes time and leads to inflexible, complicated applications that almost, but don’t exactly, meet the intended needs. Requirements can change, sometimes mid-development, and adapting existing systems can be difficult. Individual solutions can be incompatible, leading to information silos and inefficiency throughout an organization. This book offers a solution – the Information Unit Model, an innovative architecture for translating domain knowledge into applications. By encapsulating the complexities of computing, the Unit Model allows engineers to focus on business or experimental needs. Author Tom Feigenbaum, inventor of the Unit Modeler, demonstrates this innovative software architecture for rapid application design and development. His approach promotes repurposing pre-existing tools and libraries, and collaborating across the cloud, to promote information sharing and efficient development practices. Each concept is illustrated with examples including file management, data management, and 3D visualization.

  • Multicore Software Development Techniques

    Applications, Tips, and Tricks
    • 1st Edition
    • Robert Oshana
    • English
    This book provides a set of practical processes and techniques used for multicore software development. It is written with a focus on solving day to day problems using practical tips and tricks and industry case studies to reinforce the key concepts in multicore software development. Coverage includes: The multicore landscape Principles of parallel computing Multicore SoC architectures Multicore programming models The Multicore development process Multicore programming with threads Concurrency abstraction layers Debugging Multicore Systems Practical techniques for getting started in multicore development Case Studies in Multicore Systems Development Sample code to reinforce many of the concepts discussed

  • Continuous Architecture

    Sustainable Architecture in an Agile and Cloud-Centric World
    • 1st Edition
    • Murat Erder + 1 more
    • English
    Continuous Architecture provides a broad architectural perspective for continuous delivery, and describes a new architectural approach that supports and enables it. As the pace of innovation and software releases increases, IT departments are tasked to deliver value quickly and inexpensively to their business partners. With a focus on getting software into end-users hands faster, the ultimate goal of daily software updates is in sight to allow teams to ensure that they can release every change to the system simply and efficiently. This book presents an architectural approach to support modern application delivery methods and provide a broader architectural perspective, taking architectural concerns into account when deploying agile or continuous delivery approaches. The authors explain how to solve the challenges of implementing continuous delivery at the project and enterprise level, and the impact on IT processes including application testing, software deployment and software architecture.

  • Software Quality Assurance

    In Large Scale and Complex Software-intensive Systems
    • 1st Edition
    • Ivan Mistrik + 4 more
    • English
    Software Quality Assurance in Large Scale and Complex Software-intensive Systems presents novel and high-quality research related approaches that relate the quality of software architecture to system requirements, system architecture and enterprise-architect... or software testing. Modern software has become complex and adaptable due to the emergence of globalization and new software technologies, devices and networks. These changes challenge both traditional software quality assurance techniques and software engineers to ensure software quality when building today (and tomorrow’s) adaptive, context-sensitive, and highly diverse applications. This edited volume presents state of the art techniques, methodologies, tools, best practices and guidelines for software quality assurance and offers guidance for future software engineering research and practice. Each contributed chapter considers the practical application of the topic through case studies, experiments, empirical validation, or systematic comparisons with other approaches already in practice. Topics of interest include, but are not limited, to: quality attributes of system/software architectures; aligning enterprise, system, and software architecture from the point of view of total quality; design decisions and their influence on the quality of system/software architecture; methods and processes for evaluating architecture quality; quality assessment of legacy systems and third party applications; lessons learned and empirical validation of theories and frameworks on architectural quality; empirical validation and testing for assessing architecture quality.

  • Agile Systems Engineering

    • 1st Edition
    • Bruce Powel Douglass
    • English
    Agile Systems Engineering presents a vision of systems engineering where precise specification of requirements, structure, and behavior meet larger concerns as such as safety, security, reliability, and performance in an agile engineering context. World-renown author and speaker Dr. Bruce Powel Douglass incorporates agile methods and model-based systems engineering (MBSE) to define the properties of entire systems while avoiding errors that can occur when using traditional textual specifications. Dr. Douglass covers the lifecycle of systems development, including requirements, analysis, design, and the handoff to specific engineering disciplines. Throughout, Dr. Douglass couples agile methods with SysML and MBSE to arm system engineers with the conceptual and methodological tools they need to avoid specification defects and improve system quality while simultaneously reducing the effort and cost of systems engineering.

  • The Art and Science of Analyzing Software Data

    • 1st Edition
    • Christian Bird + 2 more
    • English
    The Art and Science of Analyzing Software Data provides valuable information on analysis techniques often used to derive insight from software data. This book shares best practices in the field generated by leading data scientists, collected from their experience training software engineering students and practitioners to master data science. The book covers topics such as the analysis of security data, code reviews, app stores, log files, and user telemetry, among others. It covers a wide variety of techniques such as co-change analysis, text analysis, topic analysis, and concept analysis, as well as advanced topics such as release planning and generation of source code comments. It includes stories from the trenches from expert data scientists illustrating how to apply data analysis in industry and open source, present results to stakeholders, and drive decisions.

  • Advances in Computers

    • 1st Edition
    • Volume 99
    • English
    Advances in Computers carries on a tradition of excellence, presenting detailed coverage of innovations in computer hardware, software, theory, design, and applications. The book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles typically allow. The articles included in this book will become standard references, with lasting value in this rapidly expanding field.

  • Heterogeneous Computing with OpenCL 2.0

    • 1st Edition
    • David R. Kaeli + 3 more
    • English
    Heterogeneous Computing with OpenCL 2.0 teaches OpenCL and parallel programming for complex systems that may include a variety of device architectures: multi-core CPUs, GPUs, and fully-integrated Accelerated Processing Units (APUs). This fully-revised edition includes the latest enhancements in OpenCL 2.0 including: • Shared virtual memory to increase programming flexibility and reduce data transfers that consume resources • Dynamic parallelism which reduces processor load and avoids bottlenecks • Improved imaging support and integration with OpenGL Designed to work on multiple platforms, OpenCL will help you more effectively program for a heterogeneous future. Written by leaders in the parallel computing and OpenCL communities, this book explores memory spaces, optimization techniques, extensions, debugging and profiling. Multiple case studies and examples illustrate high-performance algorithms, distributing work across heterogeneous systems, embedded domain-specific languages, and will give you hands-on OpenCL experience to address a range of fundamental parallel algorithms.

  • Knowledge-Based Systems and Legal Applications

    • 1st Edition
    • Volume 36
    • T.J.M. Bench-Capon
    • English
    This book compiles the experience of the largest project in knowledge-based systems and the law yet undertaken. It provides an in-depth introduction to representation of law in computer programs, as well as more advanced discussion and description of large knowledge-based systems building, legal representation, cooperative work, and interface design in the context of the project.