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.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure [email protected]
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
The constantly increasing demand for more computing power can seem impossible to keep up with. However, multicore processors capable of performing computations in parallel allow computers to tackle ever larger problems in a wide variety of applications. This book provides a comprehensive introduction to parallel computing, discussing theoretical issues such as the fundamentals of concurrent processes, models of parallel and distributed computing, and metrics for evaluating and comparing parallel algorithms, as well as practical issues, including methods of designing and implementing shared- and distributed-memory programs, and standards for parallel program implementation, in particular MPI and OpenMP interfaces. Each chapter presents the basics in one place followed by advanced topics, allowing novices and experienced practitioners to quickly find what they need. A glossary and more than 80 exercises with selected solutions aid comprehension. The book is recommended as a text for advanced undergraduate or graduate students and as a reference for practitioners.