Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Browse subjects
  3. Computer Science
  4. Distributed, Networked and Mobile Computing
  5. Content listing

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

83 results in Distributed, Networked and Mobile Computing

Page 1 of 5

Syntax and Semantics of Petri Nets
  • Roberto Gorrieri
  • Coming soon
  • Expected online publication date:
    August 2025
    Print publication:
    31 August 2025
  • Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying three classes of nets that model (i) sequential systems, (ii) non-communicating parallel systems, and (iii) communicating parallel systems. A decidable and causality respecting behavioral equivalence is presented for each class, followed by a modal logic characterization for each equivalence. The author then introduces a suitable process algebra for the corresponding class of nets and proves that the behavioral equivalence proposed for each class is a congruence for the operator of the corresponding process algebra. Finally, an axiomatization of the behavioral congruence is proposed. The theory is introduced step by step, with ordinary-language explanations and examples provided throughout, to remain accessible to readers without specialized training in concurrency theory or formal logic. Exercises with solutions solidify understanding, and the final chapter hints at extensions of the theory.

Introduction to Choreographies
  • Fabrizio Montesi
  • Published online:
    11 May 2023
    Print publication:
    25 May 2023
  • In concurrent and distributed systems, processes can complete tasks together by playing their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal description of overall behaviour that processes should collaborate to implement, like authenticating a user or purchasing an item online. Formality brings clarity, but not only that. Choreographies can contribute to important safety and liveness properties. This book is an ideal introduction to theory of choreographies for students, researchers, and professionals in computer science and applied mathematics. It covers languages for writing choreographies and their semantics, and principles for implementing choreographies correctly. The text treats the study of choreographies as a discipline in its own right, following a systematic approach that starts from simple foundations and proceeds to more advanced features in incremental steps. Each chapter includes examples and exercises aimed at helping with understanding the theory and its relation to practice.

Fundamentals of Ultra-Dense Wireless Networks
  • David López-Pérez, Ming Ding
  • Published online:
    17 June 2022
    Print publication:
    30 June 2022
  • Discover the fundamental characteristics of ultra-dense networks with this comprehensive text. Featuring a consistent mathematical description of ultra-dense small cell networks while also covering real-world issues such as network deployment, operation and optimization, this book investigates performance metrics of coverage probability and area spectral efficiency (ASE) and addresses the aspects of ultra-dense networks that make them different from current networks. Insightful intuitions, which will assist decision-makers as they migrate their services, are explained and mathematically proven. The book presents the latest review of research outcomes on ultra-dense networks, based on both theoretical analyses and network simulations, includes over 200 sources from 3GPP, the Small Cell Forum, journals and conference proceedings, and covers all other related and prominent topics. This is an ideal reference text for professionals who are dealing with the development, deployment, operation and maintenance of ultra-dense small cell networks, as well as researchers and graduate students in communications.

A Practical Guide to Power Line Communications
  • Christina Vlachou, Sébastien Henri
  • Published online:
    05 May 2022
    Print publication:
    19 May 2022
  • This excellent resource synthesizes the theory and practice of PLC, providing a straightforward introduction to the fundamentals of PLC, as well as an exhaustive review of the performance, evaluation, security, and heterogeneous network that combine PLC with other means of communications. It advances the groundwork on power-line communication (PLC), a tool which has the potential to boost the performance of local networks, and provides useful worked practical problems on, for example, PLC protocol optimization. Covering the PHY and MAC layers of the most popular PLC specifications, including tutorials and experimental frameworks, and featuring many examples of real-world applications and performance, it is ideal for university researchers and professional engineers designing and maintaining PLC or hybrid devices and networks.

The Quantum Internet
  • The Second Quantum Revolution
  • Peter P. Rohde
  • Published online:
    09 September 2021
    Print publication:
    30 September 2021
  • Following the emergence of quantum computing, the subsequent quantum revolution will be that of interconnecting individual quantum computers at the global level. In the same way that classical computers only realised their full potential with the emergence of the internet, a fully-realised quantum internet is the next stage of evolution for quantum computation. This cutting-edge book examines in detail how the quantum internet would evolve in practise, focusing not only on the technology itself, but also the implications it will have economically and politically, with numerous non-technical sections throughout the text providing broader context to the discussion. The book begins with a description of classical networks before introducing the key concepts behind quantum networks, such as quantum internet protocols, quantum cryptography, and cloud quantum computing. Written in an engaging style and accessible to graduate students in physics, engineering, computer science and mathematics.

Network Tomography
  • Identifiability, Measurement Design, and Network State Inference
  • Ting He, Liang Ma, Ananthram Swami, Don Towsley
  • Published online:
    25 May 2021
    Print publication:
    27 May 2021
  • Providing the first truly comprehensive overview of Network Tomography - a novel network monitoring approach that makes use of inference techniques to reconstruct the internal network state from external vantage points - this rigorous yet accessible treatment of the fundamental theory and algorithms of network tomography covers the most prominent results demonstrated on real-world data, including identifiability conditions, measurement design algorithms, and network state inference algorithms, alongside practical tools for applying these techniques to real-world network management. It describes the main types of mathematical problems, along with their solutions and properties, and emphasizes the actions that can be taken to improve the accuracy of network tomography. With proofs and derivations introduced in an accessible language for easy understanding, this is an essential resource for professional engineers, academic researchers, and graduate students in network management and network science.

Automotive Ethernet
  • 3rd edition
  • Kirsten Matheus, Thomas Königseder
  • Published online:
    06 April 2021
    Print publication:
    22 April 2021
  • Learn about the latest developments in Automotive Ethernet technology and implementation with this fully revised third edition. Including 20% new material and greater technical depth, coverage is expanded to include detailed explanations of the new PHY technologies 10BASE-T1S (including multidrop) and 2.5, 5, and 10GBASE-T1, discussion of EMC interference models, and description of the new TSN standards for automotive use. Featuring details of security concepts, an overview of power saving possibilities with Automotive Ethernet, and explanation of functional safety in the context of Automotive Ethernet. Additionally provides an overview of test strategies and main lessons learned. Industry pioneers share the technical and non-technical decisions that have led to the success of Automotive Ethernet, covering everything from electromagnetic requirements and physical layer technologies, QoS, and the use of VLANs, IP and service discovery, to network architecture and testing. The guide for engineers, technical managers and researchers designing components for in-car electronics, and those interested in the strategy of introducing a new technology.

Introduction to IoT
  • Sudip Misra, Anandarup Mukherjee, Arijit Roy
  • Published online:
    09 January 2021
    Print publication:
    15 April 2021
  • IoT is emerging as a popular area of research and has piqued the interest of academics and scholars across the world. This book serves as a textbook and a single point of reference for readers looking to delve further into this domain. Written by leading experts in the field, this lucid and comprehensive work provides a clear understanding of the operation and scope of the IoT. Along with the description of the basic outline and technologies associated with the subject, the book discusses the IoT case studies and hands-on exercises, enabling readers to visualise the vastly interdisciplinary nature of its applications. The book also serves curious, non-technical readers, enabling them to understand necessary concepts and terminologies associated with the IoT.

Wireless Edge Caching
  • Modeling, Analysis, and Optimization
  • Edited by Thang X. Vu, Ejder Baştuğ, Symeon Chatzinotas, Tony Q. S. Quek
  • Published online:
    19 October 2020
    Print publication:
    11 March 2021
  • Understand both uncoded and coded caching techniques in future wireless network design. Expert authors present new techniques that will help you to improve backhaul, load minimization, deployment cost reduction, security, energy efficiency and the quality of the user experience. Covering topics from high-level architectures to specific requirement-oriented caching design and analysis, including big-data enabled caching, caching in cloud-assisted 5G networks, and security, this is an essential resource for academic researchers, postgraduate students and engineers working in wireless communications.

Ultra-dense Networks
  • Principles and Applications
  • Edited by Haijun Zhang, Jemin Lee, Tony Q. S. Quek, Chih-Lin I
  • Published online:
    12 October 2020
    Print publication:
    26 November 2020
  • Understand the theoretical principles, key technologies and applications of UDNs with this authoritative survey. Theory is explained in a clear, step-by-step manner, and recent advances and open research challenges in UDN physical layer design, resource allocation and network management are described, with examples, in the context of B5G and 6G standardization. Topics covered include NOMA-based physical layer design, physical layer security. Interference management, 3D base station deployment, software defined UDNs, wireless edge caching in UDNs, UDN-based UAVs and field trials and tests. A perfect resource for graduate students, researchers and professionals who need to get up to speed on the state of the art and future opportunities in UDNs.

Principles of Cyber-Physical Systems
  • An Interdisciplinary Approach
  • Edited by Sandip Roy, Sajal K. Das
  • Published online:
    12 October 2020
    Print publication:
    15 October 2020
  • This unique introduction to the foundational concepts of cyber-physical systems (CPS) describes key design principles and emerging research trends in detail. Several interdisciplinary applications are covered, with a focus on the wide-area management of infrastructures including electric power systems, air transportation networks, and health care systems. Design, control and optimization of cyber-physical infrastructures are discussed, addressing security and privacy issues of networked CPS, presenting graph-theoretic and numerical approaches to CPS evaluation and monitoring, and providing readers with the knowledge needed to operate CPS in a reliable, efficient, and secure manner. Exercises are included. This is an ideal resource for researchers and graduate students in electrical engineering and computer science, as well as for practitioners using cyber-physical systems in aerospace and automotive engineering, medical technology, and large-scale infrastructure operations.

Cloud Computing
  • Sandeep Bhowmik
  • Published online:
    31 August 2020
    Print publication:
    17 April 2017
  • Written in a tutorial style, this comprehensive guide follows a structured approach explaining cloud techniques, models and platforms. Popular cloud services such as Amazon, Google and Microsoft Azure are explained in the text. The security risks and challenges of cloud computing are discussed in detail with useful examples. Emerging trends including mobile cloud computing and internet of things are discussed in the book for the benefit of the readers. Numerous review questions, multiple choice exercises and case studies facilitate enhanced understanding. This textbook is ideal for undergraduate and graduate students of computer science engineering, and information technology.

Auction Theory for Computer Networks
  • Dusit Niyato, Nguyen Cong Luong, Ping Wang, Zhu Han
  • Published online:
    15 May 2020
    Print publication:
    11 June 2020
  • Do you have the tools to address recent challenges and problems in modern computer networks? Discover a unified view of auction theoretic applications and develop auction models, solution concepts, and algorithms with this multidisciplinary review. Devise distributed, dynamic, and adaptive algorithms for ensuring robust network operation over time-varying and heterogeneous environments, and for optimizing decisions about services, resource allocation, and usage of all network entities. Topics including cloud networking models, MIMO, mmWave communications, 5G, data aggregation, task allocation, user association, interference management, wireless caching, mobile data offloading, and security. Introducing fundamental concepts from an engineering perspective and describing a wide range of state-of-the-art techniques, this is an excellent resource for graduate and senior undergraduate students, network and software engineers, economists, and researchers.

Communication Networks
  • An Optimization, Control, and Stochastic Networks Perspective
  • R. Srikant, Lei Ying
  • Published online:
    30 January 2019
    Print publication:
    14 November 2013
  • Provides a modern mathematical approach to the design of communication networks for graduate students, blending control, optimization, and stochastic network theories. A broad range of performance analysis tools are discussed, including important advanced topics that have been made accessible to students for the first time. Taking a top-down approach to network protocol design, the authors begin with the deterministic model and progress to more sophisticated models. Network algorithms and protocols are tied closely to the theory, illustrating the practical engineering applications of each topic. The background behind the mathematical analyses is given before the formal proofs and is supported by worked examples, enabling students to understand the big picture before going into the detailed theory. End-of-chapter problems cover a range of difficulties, with complex problems broken into several parts, and hints to many problems are provided to guide students. Full solutions are available online for instructors.

Smart Grid Technology
  • A Cloud Computing and Data Management Approach
  • Sudip Misra, Samaresh Bera
  • Published online:
    20 October 2018
    Print publication:
    28 March 2018
  • This comprehensive text covers fundamental concepts of smart grid technologies, integrating the tools and techniques of cloud computing and data management for application in smart grids. Different cloud and data management approaches are explained, highlighting energy management, information management, and security in the smart grid. The concepts of plug-in hybrid electric vehicle and virtual energy storage are explained in separate chapters. The text covers recent trends in cloud computing and data analytics in the field of smart grid. A glossary of important technical terms is provided for the benefit of the readers.

Wireless Physical Layer Network Coding
  • Jan Sykora, Alister Burr
  • Published online:
    01 February 2018
    Print publication:
    15 February 2018
  • Discover a fresh approach for designing more efficient and cooperative wireless communications networks with this systematic guide. Covering everything from fundamental theory to current research topics, leading researchers describe a new, network-aware coding strategy that exploits the signal interactions that occur in dense wireless networks directly at the waveform level. Using an easy-to-follow, layered structure, this unique text begins with a gentle introduction for those new to the subject, before moving on to explain key information-theoretic principles and establish a consistent framework for wireless physical layer network coding (WPNC) strategies. It provides a detailed treatment of Network Coded Modulation, covers a range of WPNC techniques such as Noisy Network Coding, Compute and Forward, and Hierarchical Decode and Forward, and explains how WPNC can be applied to parametric fading channels, frequency selective channels, and complex stochastic networks. This is essential reading whether you are a researcher, graduate student, or professional engineer.

Mobile Phone Behavior
  • Zheng Yan
  • Published online:
    27 November 2017
    Print publication:
    30 November 2017
  • This book provides the first comprehensive introduction to the newly-emerging science of mobile phone behavior. It presents the unexpected complexity of human mobile phone behavior through four basic aspects of mobile phone usage (users, technologies, activities, and effects), and then explores four major domains of such behavior (medicine, business, education, and everyday life). Chapters open with thoughts on mobile phone usage and behavior from interviews with cell phone users, then present a series of scientific studies, synthesized knowledge, and real-life cases, concluding with complex but highly readable analyses of each aspect of mobile phone behavior. Readers should achieve two intellectual goals: gaining a usable knowledge of the complexity of mobile phone behaviour, and developing the skills to analyze the complexity of mobile phone usage - and further technological behaviors.

UAV Networks and Communications
  • Edited by Kamesh Namuduri, Serge Chaumette, Jae H. Kim, James P. G. Sterbenz
  • Published online:
    17 November 2017
    Print publication:
    30 November 2017
  • The first book to focus on the communications and networking aspects of UAVs, this unique resource provides the fundamental knowledge needed to pursue research in the field. The team of authors covers the foundational concepts of the topic, as well as offering a detailed insight into the state of the art in UAVs and UAV networks, discussing the regulations, policies, and procedures for deployment (including analysis of risks and rewards), along with demonstrations, test-beds, and practical real-world applications in areas such as wildlife detection and emergency communications. This is essential reading for graduate students, researchers, and professionals in communications and networking.

Automotive Ethernet
  • 2nd edition
  • Kirsten Matheus, Thomas Königseder
  • Published online:
    29 June 2017
    Print publication:
    13 July 2017
  • Learn about the latest developments in automotive Ethernet technology and implementation with this fully revised second edition. Including approximately twenty-five percent new material and greater technical detail, coverage is expanded to include:· Detailed explanations of how the 100BASE-T1 PHY and 1000 BASE-T1 PHY technologies actually work· A step-by-step description of how the 1000BASE-T1 channel was derived· A summary of the content and uses of the new TSN standards· A framework for security in Automotive Ethernet· Discussion of the interrelation between power supply and automotive Ethernet communicationIndustry pioneers share the technical and non-technical decisions that have led to the success of automotive Ethernet, covering everything from electromagnetic requirements and physical layer technologies, Quality of Service, the use of VLANs, IP and Service Discovery, and network architecture and testing. This is a guide for engineers, technical managers and researchers designing components for in-car electronics, and those interested in the strategy of introducing a new technology.

Radio Resource Management in Wireless Networks
  • An Engineering Approach
  • Ekram Hossain, Mehdi Rasti, Long Bao Le
  • Published online:
    11 May 2017
    Print publication:
    27 April 2017
  • Do you need to design efficient wireless communications systems? This unique text provides detailed coverage of radio resource allocation problems in wireless networks and the techniques that can be used to solve them. Covering basic principles and mathematical algorithms, and with a particular focus on power control and channel allocation, you will learn how to model, analyze, and optimize the allocation of resources in both physical and data link layers, and for a range of different network types. Both established and emerging networks are considered, including CDMA and OFDMA wireless networks, relay-based wireless networks, and cognitive radio networks. Numerous exercises help you put knowledge into practice, and provide the tools needed to address some of the current research problems in the field. This is an essential reference whether you are a graduate student, researcher or industry professional working in the field of wireless communication networks.

Page 1 of 5