English
Related papers

Related papers: A Semantic Analysis of Key Management Protocols fo…

200 papers

Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e. systems that continuously interact with the environment. The universal tcc formalism (utcc) is an…

Logic in Computer Science · Computer Science 2020-02-19 Moreno Falaschi , Carlos Olarte , Catuscia Palamidessi

In wireless sensor networks (WSNs), simulation practices, system models, algorithms, and protocols have been published worldwide based on the assumption of randomness. The applied statistics used for randomness in WSNs are broad in nature,…

Networking and Internet Architecture · Computer Science 2023-11-14 Dinesh Kumar Sah , Praveen Kumar Donta , Tarachand Amgoth

In analyzing the point-to-point wireless channel, insights about two qualitatively different operating regimes--bandwidth- and power-limited--have proven indispensable in the design of good communication schemes. In this paper, we propose a…

Information Theory · Computer Science 2009-09-29 Ayfer Ozgur , Ramesh Johari , David Tse , Olivier Leveque

Wireless Sensor Networks (WSNs) are used to perform distributed sensing in various fields, such as health, military, home etc. In WSNs, sensor nodes should communicate among themselves and do distributed computation over the sensed values…

Networking and Internet Architecture · Computer Science 2013-10-01 Rama Murthy Garimella , Deepti Singhal

In this paper, we first presented an analytically discussion about energy efficiency of Medium Access Control (MAC) protocols for Wireless Body Area Sensor Networks (WBASNs). For this purpose, different energy efficient MAC protocols with…

Networking and Internet Architecture · Computer Science 2013-03-11 N. Javaid , S. Hayat , M. Shakir , M. A. Khan , S. H. Bouk , Z. A. Khan

The growing integration of distributed integrated sensing and communication (ISAC) with closed-loop control in intelligent networks demands efficient information transmission under stringent bandwidth constraints. To address this challenge,…

Systems and Control · Electrical Eng. & Systems 2025-12-26 Guangjin Pan , Ayça Özçelikkale , Christian Häger , Musa Furkan Keskin , Henk Wymeersch

The paper presents two mechanisms for designing an on-demand, reliable and efficient collection protocol for Wireless Sensor Networks. The former is the Bidirectional Link Quality Estimation, which allows nodes to easily and quickly compute…

Networking and Internet Architecture · Computer Science 2013-05-21 Víctor Valls , José Luis Sánchez , Cristina Cano , Boris Bellalta , Miquel Oliver

In the advent of large-scale multi-hop wireless technologies, such as MANET, VANET, iThings, it is of utmost importance to devise efficient distributed protocols to maintain network architecture and provide basic communication tools. One of…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-02-19 Tomasz Jurdzinski , Dariusz R. Kowalski , Tomasz Maciejewski , Grzegorz Stachowiak

Sensor scheduling is a well studied problem in signal processing and control with numerous applications. Despite its successful history, most of the related literature assumes the knowledge of the underlying probabilistic model of the…

Systems and Control · Electrical Eng. & Systems 2019-12-06 Marcos M. Vasconcelos , Urbashi Mitra

This paper presents an approach for low-cost simulation modeling for application development for wireless sensor networks. Computational complexity of simulating wireless sensor networks can be very high and as such must be carefully…

Networking and Internet Architecture · Computer Science 2020-12-23 Gursel Serpen , Zhenning Gao

This paper concerns with the synchronization of infrastructure impoverished sensor networks under harsh conditions. It suggests three novel asynchronous, decentralized, energyefficient time synchronization protocols. The protocols require…

Signal Processing · Electrical Eng. & Systems 2018-11-06 Ramadan Abdul-Rashid , Ali Al-Shaikhi , Ahmad Masoud

In this work, we expand the cooperative multi-task semantic communication framework (CMT-SemCom) introduced in [1], which divides the semantic encoder on the transmitter side into a common unit (CU) and multiple specific units (SUs), to a…

Signal Processing · Electrical Eng. & Systems 2026-01-27 Ahmad Halimi Razlighi , Carsten Bockelmann , Armin Dekorsy

Wireless Body Sensor Network (WBSN) is a developing technology with constraints in energy consumption, coverage radius, communication reliability. Also, communications between nodes contain very sensitive personal information in which…

Cryptography and Security · Computer Science 2020-10-20 Behrooz Khadem , Amin Masoumi , M. S. Farash

This paper develops a fast, accurate and energy-efficient time synchronization protocol in wireless sensor networks that operate in harsh environments. The suggested protocol concept is based on an electrical physical metaphor. The protocol…

Networking and Internet Architecture · Computer Science 2017-04-11 Ali Al-Shaikhi , Ahmad Masoud

Typical structural health monitoring configuration implies sensors and supervisor installations connected by electric cable for communication. As done in other wireless projects, this one aim at reducing installation and maintenance costsby…

Networking and Internet Architecture · Computer Science 2024-04-16 Vincent Le Cam , Daniel-Marc Ducros , Louis-Marie Cottineau

In this paper, a cross-layer framework to jointly optimize spectrum sensing and scheduling in resource constrained agile wireless networks is presented. A network of secondary users (SUs) accesses portions of the spectrum left unused by a…

Information Theory · Computer Science 2015-06-23 Nicolo Michelusi , Urbashi Mitra

Control/command processes require a transmission system with some characteristics like high reliability, low latency and strong guarantees on messages delivery. Concerning wire networks, field buses technologies like FIP offer this kind of…

Networking and Internet Architecture · Computer Science 2008-12-18 Adrien Van Den Bossche , Thierry Val , Eric Campo

Large-scale distributed computing systems face two major bottlenecks that limit their scalability: straggler delay caused by the variability of computation times at different worker nodes and communication bottlenecks caused by shuffling…

Information Theory · Computer Science 2017-07-04 Amirhossein Reisizadeh , Ramtin Pedarsani

Wirelessly interconnected sensors, actuators, and controllers promise greater flexibility, lower installation and maintenance costs, and higher robustness in harsh conditions than wired solutions. However, to facilitate the adoption of…

Networking and Internet Architecture · Computer Science 2020-05-21 Romain Jacob , Licong Zhang , Marco Zimmerling , Jan Beutel , Samarjit Chakraborty , Lothar Thiele

In this paper, we study a new approach to model the overall Energy Consumption (EC) in Wireless Sensor Networks (WSN). First, we extract parameters involving in the EC of WSNs. The dependency between configuration parameters and the average…

Networking and Internet Architecture · Computer Science 2011-12-30 Najmeh Kamyabpour , Doan B. Hoang