Conception et évaluation de protocole de routage ad hoc PDF Download

Author: Martine Wahl
Publisher: ISTE Group
ISBN: 1789481120
Category : Computers
Languages : fr
Pages : 278

View

Book Description
Conception et évaluation de protocole de routage ad hoc s’intéresse aux communications ad hoc entre les véhicules dans un environnement routier. Il questionne la continuité des services d’aide à la conduite dépendants des communications dans les zones où aucune infrastructure de communications ne serait opérationnelle. Partant d’un protocole de routage ad hoc proposé par les auteurs, cet ouvrage expose la méthodologie suivie de sa conception à son évaluation. Il présente l’approche de conception basée sur les besoins fonctionnels et propose des analyses pour comprendre le fonctionnement du protocole, ses propriétés ainsi que ses performances pour des applications cibles. S’adressant principalement aux personnes qui débutent dans les domaines de l’ingénierie des protocoles, des réseaux ad hoc ou des systèmes de transport intelligents, cet ouvrage apporte également aux spécialistes un point de vue original sur la littérature scientifique en lien avec ces domaines. Il offre notamment des outils concrets pour faire évoluer leurs propres méthodes de conception et d’évaluation des protocoles de communications.

Author: Jean-Raymond Abrial
Publisher: Cambridge University Press
ISBN: 0521895561
Category : Computers
Languages : en
Pages : 613

View

Book Description
A practical introduction to this model-based formal method, containing a broad range of illustrative examples.

Author: Nouha Baccour
Publisher: Springer Science & Business Media
ISBN: 3319007742
Category : Technology & Engineering
Languages : en
Pages : 157

View

Book Description
This book provides a comprehensive survey on related work for radio link quality estimation, which covers the characteristics of low-power links, the fundamental concepts of link quality estimation in wireless sensor networks, a taxonomy of existing link quality estimators and their performance analysis. It then shows how link quality estimation can be used for designing protocols and mechanisms such as routing and hand-off. The final part is dedicated to radio interference estimation, generation and mitigation.

Author: Benoit Hilt
Publisher: John Wiley & Sons
ISBN: 1848218532
Category : Technology & Engineering
Languages : en
Pages : 277

View

Book Description
This book studies the simulation of wireless networking in the domain of Intelligent Transportation Systems (ITS) involving aircraft, railway and vehicular communication. On this subject, particular focus is placed on effective communication channels, mobility modeling, multi-technology simulation and global ITS simulation frameworks. Networking Simulation for Intelligent Transportation Systems addresses the mixing of IEEE802.11p and LTE into a dedicated simulation environment as well as the links between ITS and IoT; aeronautical mobility and VHD Data Link (VDL) simulation; virtual co-simulation for railway communication and control-command; realistic channel simulation, mobility modeling and autonomic simulation for VANET and quality metrics for VANET. The authors intend for this book to be as useful as possible to the reader as they provide examples of methods and tools for running realistic and reliable simulations in the domain of communications for ITS.

Author: Steve Schneider
Publisher: Palgrave MacMillan
ISBN: 9780333792841
Category : B method
Languages : en
Pages : 370

View

Book Description
Introducing abstract machines - Review of set theory and logic - Weakest preconditions - Towards machine consistency - Parameters, sets, and constants - Relations - Functions and sequences - Arrays - Nondeterminism - Structuring with includes - Structuring with SEES and USES - Data refinement - Refinement of nondeterminism - Proof obligations for refinements - Loops - Implementation machines - Case study : heapsort - Library machines.

Author: Alexander V. Sergienko
Publisher: CRC Press
ISBN: 1420026607
Category : Science
Languages : en
Pages : 248

View

Book Description
All current methods of secure communication such as public-key cryptography can eventually be broken by faster computing. At the interface of physics and computer science lies a powerful solution for secure communications: quantum cryptography. Because eavesdropping changes the physical nature of the information, users in a quantum exchange can easily detect eavesdroppers. This allows for totally secure random key distribution, a central requirement for use of the one-time pad. Since the one-time pad is theoretically proven to be undecipherable, quantum cryptography is the key to perfect secrecy. Quantum Communications and Cryptography is the first comprehensive review of the past, present, and potential developments in this dynamic field. Leading expert contributors from around the world discuss the scientific foundations, experimental and theoretical developments, and cutting-edge technical and engineering advances in quantum communications and cryptography. The book describes the engineering principles and practical implementations in a real-world metropolitan network as well as physical principles and experimental results of such technologies as entanglement swapping and quantum teleportation. It also offers the first detailed treatment of quantum information processing with continuous variables. Technologies include both free-space and fiber-based communications systems along with the necessary protocols and information processing approaches. Bridging the gap between physics and engineering, Quantum Communications and Cryptography supplies a springboard for further developments and breakthroughs in this rapidly growing area.

Author: Norbert Streitz
Publisher: Springer
ISBN: 3540727272
Category : Computers
Languages : en
Pages : 314

View

Book Description
This book examines how the computer, as we currently know it, will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments. It provides a unique combination of concepts, methods and prototypes of ubiquitous and pervasive computing reflecting the current interest in smart environments and ambient intelligence.

Author: Joseph Sifakis
Publisher:
ISBN: 9781601986603
Category : Computers
Languages : en
Pages : 84

View

Book Description
Deals with the formalization of the design of mixed hardware/software systems. It advocates rigorous system design as a model-based process leading from requirements to correct implementations and presents the current state of the art in system design, discusses its limitations and identifies possible avenues for overcoming them.

Author: Anna Maria Vegni
Publisher: CRC Press
ISBN: 1498749208
Category : Computers
Languages : en
Pages : 192

View

Book Description
The book provides a comprehensive guide to vehicular social networks. The book focuses on a new class of mobile ad hoc networks that exploits social aspects applied to vehicular environments. Selected topics are related to social networking techniques, social-based routing techniques applied to vehicular networks, data dissemination in VSNs, architectures for VSNs, and novel trends and challenges in VSNs. It provides significant technical and practical insights in different aspects from a basic background on social networking, the inter-related technologies and applications to vehicular ad-hoc networks, the technical challenges, implementation and future trends.

Author: Khaldoun Al Agha
Publisher: John Wiley & Sons
ISBN: 1848217145
Category : Technology & Engineering
Languages : en
Pages : 352

View

Book Description
This book presents the state of the art in the field of mobile and wireless networks, and anticipates the arrival of new standards and architectures. It focuses on wireless networks, starting with small personal area networks and progressing onto the very large cells of wireless regional area networks, via local area networks dominated by WiFi technology, and finally metropolitan networks. After a description of the existing 2G and 3G standards, with LTE being the latest release, LTE-A is addressed, which is the first 4G release, and a first indication of 5G is provided as seen through the standardizing bodies. 4G technology is described in detail along with the different LTE extensions related to the massive arrival of femtocells, the increase to a 1 Gbps capacity, and relay techniques. 5G is also discussed in order to show what can be expected in the near future. The Internet of Things is explained in a specific chapter due to its omnipresence in the literature, ad hoc and mesh networks form another important chapter as they have made a comeback after a long period of near hibernation, and the final chapter discusses a particularly recent topic: Mobile-Edge Computing (MEC) servers.