English
Related papers

Related papers: Reliable Restricted Process Theory

200 papers

Because wireless communication is dynamic and has inherent defects, routing algorithms are crucial in the quickly evolving field of mobile ad hoc networks, or MANETs This study looks at the many security problems that MANETs encounter.…

Networking and Internet Architecture · Computer Science 2026-02-17 Soundes Oumaima Boufaida , Abdemadjid Benmachiche , Majda Maatallah , Chaouki Chemam

5G and Beyond networks promise low-latency support for applications that need to deliver mission-critical data with strict deadlines. However, innovations on the physical and medium access layers are not sufficient. Additional…

Networking and Internet Architecture · Computer Science 2023-03-23 Omar Nassef , Federico Chiariotti , Stephen Johnson , Toktam Mahmoodi

This work proposes a new distributed and self-organized authentication scheme for Mobile Ad-hoc NETworks (MANETs). Apart from describing all its components, special emphasis is placed on proving that the proposal fulfils most requirements…

Cryptography and Security · Computer Science 2010-05-04 P. Caballero-Gil , C. Hernández-Goya

Mobile ad hoc networks (MANETs) are self-configuring wireless networks that lack permanent infrastructure and are formed among mobile nodes on demand. Rapid node mobility results in dramatic channel variation, or fading, that degrades MANET…

Networking and Internet Architecture · Computer Science 2012-04-27 Neil Mehta , Alexandra Duel-Hallen , Wenye Wang

There is a trend toward the use of predictive systems in communications networks. At the systems and network management level predictive capabilities are focused on anticipating network faults and performance degradation. Simultaneously,…

Networking and Internet Architecture · Computer Science 2007-05-23 Stephen F. Bush , Victor S. Frost , Joseph B. Evans

This work addresses the problem of ensuring trustworthy computation in a linear consensus network. A solution to this problem is relevant for several tasks in multi-agent systems including motion coordination, clock synchronization, and…

Optimization and Control · Mathematics 2011-04-19 Fabio Pasqualetti , Antonio Bicchi , Francesco Bullo

Cut-set bounds on achievable rates for network communication protocols are not in general tight. In this paper we introduce a new technique for proving converses for the problem of transmission of correlated sources in networks, that…

Information Theory · Computer Science 2011-05-31 Amin Aminzadeh Gohari , Shenghao Yang , Sidharth Jaggi

Linear regression on network-linked observations has been an essential tool in modeling the relationship between response and covariates with additional network structures. Previous methods either lack inference tools or rely on restrictive…

Methodology · Statistics 2022-08-22 Can M. Le , Tianxi Li

This paper investigates the latter scenario of individual emergency alerts in airports by applying two existing benchmark delay tolerant network protocols and evaluating their performance of delivery ratio and latency. First, the paper…

Networking and Internet Architecture · Computer Science 2026-01-01 Nana Oye Akrofi Quarcoo , Milena Radenkovic

This article studies distributed event-triggered consensus over unreliable communication channels. Communication is unreliable in the sense that the broadcast channel from one agent to its neighbors can drop the event-triggered packets of…

Optimization and Control · Mathematics 2015-11-25 Eloy Garcia , Yongcan Cao , David W. Casbeer

The dynamics of an agreement protocol interacting with a disagreement process over a common random network is considered. The model can represent the spreading of true and false information over a communication network, the propagation of…

Social and Information Networks · Computer Science 2012-08-17 Guodong Shi , Mikael Johansson , Karl Henrik Johansson

Mobile Ad-hoc Network (MANET) is a collection of autonomous nodes or terminals which communicate with each other by forming a multi-hop radio network and maintaining connectivity in a decentralized manner. The conventional security…

Cryptography and Security · Computer Science 2009-10-02 Renuka A. , K. C. Shet

Routing is one of the most mysterious issues from the birth of networks up till now. Designing routing protocols for Mobile Ad hoc Networks (MANETs) is a complicated task because unpredictable mobility patterns of mobile nodes greatly…

Networking and Internet Architecture · Computer Science 2018-10-18 Zafar Iqbal , Tahreem Saeed , Tariq Rafiq , Ahsan Humayun

Standard congestion control cannot detect link failure losses which occur due to mobility and power scarcity in multi-hop Ad-Hoc network (MANET). Moreover, successive executions of Back-off algorithm deficiently grow Retransmission Timeout…

Networking and Internet Architecture · Computer Science 2011-10-12 Mohammad Amin Kheirandish Fard , Sasan Karamizadeh , Mohammad Aflaki

Achieving optimal transmission throughput in data networks in a multi-hop wireless networks is fundamental but hard problem. The situation is aggravated when nodes are mobile. Further, multi-rate system make the analysis of throughput more…

Networking and Internet Architecture · Computer Science 2010-09-24 Tapas Kumar Patra , Joy Kuri

A mobile ad hoc network (MANET) is a non-centralised, multihop, wireless network that lacks a common infrastructure and hence it needs self-organisation. The biggest challenge in MANETs is to find a path between communicating nodes, which…

Networking and Internet Architecture · Computer Science 2013-01-08 Vaibhav Godbole

We investigate the impact of spontaneous movement in the complexity of verification problems for an automata-based protocol model of networks with selective broadcast communication. We first consider reachability of an error state and show…

Logic in Computer Science · Computer Science 2012-02-28 Giorgio Delzanno , Arnaud Sangnier , Riccardo Traverso , Gianluigi Zavattaro

Attaining reliable communications traditionally relies on a closed-loop methodology but inevitably incurs a good amount of networking latency thanks to complicated feedback mechanism and signaling storm. Such a closed-loop methodology thus…

Information Theory · Computer Science 2021-01-26 Chun-Hung Liu , Di-Chun Liang , Kwang-Cheng Chen , Rung-Hung Gau

Wireless networks that are decentralized and communicate without using existing infrastructure are known as mobile ad-hoc networks. The most common sorts of threats and attacks can affect MANETs. Therefore, it is advised to utilize…

Networking and Internet Architecture · Computer Science 2023-04-24 S. M. Udhaya Sankar , D. Dhinakaran , C. Cathrin Deboral , M. Ramakrishnan

Using unreliable or noisy components for reliable communication requires error correction. But which noise processes can support information transmission, and which are too destructive? For classical systems any channel whose output depends…

Quantum Physics · Physics 2013-02-05 Graeme Smith , John A. Smolin
‹ Prev 1 4 5 6 7 8 10 Next ›