English
Related papers

Related papers: A Formal Model for Programming Wireless Sensor Net…

200 papers

This paper is an extension to an early presented programming language, called a domain specific language. This paper extends the proposed concept with new sensors and behaviours to address real-life situations. The functionality was tested…

Next-generation wireless networks are progressing beyond conventional connectivity to incorporate emerging sensing and computing capabilities. This convergence gives rise to integrated systems that enable not only uninterrupted…

Information Theory · Computer Science 2026-02-24 Ruiqi Liu , Beixiong Zheng , Jemin Lee , Si-Hyeon Lee , Georges Kaddoum , Onur Günlü , Deniz Gündüz

Network coverage of wireless sensor network (WSN) means how well an area of interest is being monitored by the deployed network. It depends mainly on sensing model of nodes. In this paper, we present three types of sensing models viz.…

Information Theory · Computer Science 2016-11-18 Ashraf Hossain , S. Chakrabarti , P. K. Biswas

The significance of intelligent sensing systems is growing in the realm of smart services. These systems extract relevant signal features and generate informative representations for particular tasks. However, building the feature…

Signal Processing · Electrical Eng. & Systems 2024-06-26 Tianjian Yang , Hao Zhou , Shuo Liu , Kaiwen Guo , Yiwen Hou , Haohua Du , Zhi Liu , Xiang-Yang Li

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic…

Software Engineering · Computer Science 2007-05-23 Ian Hayes , Robert Colvin , David Hemer , Paul Strooper , Ray Nickson

Wireless communications and sensing (WCS) establish the backbone of modern information exchange and environment perception. Typical applications range from mobile networks and the Internet of Things to radar and sensor grids. Despite…

Signal Processing · Electrical Eng. & Systems 2025-08-05 Shixiong Wang , Wei Dai , Jianyong Sun , Zongben Xu , Geoffrey Ye Li

In this work, we present a method that exploits a scenario with inter-Wireless Sensor Networks (WSNs) information exchange by making predictions and adapting the workload of a WSN according to their outcomes. We show the feasibility of an…

Networking and Internet Architecture · Computer Science 2016-07-13 Gabriel Martins Dias , Simon Oechsner , Boris Bellalta

We present a formal model developed to reason about topologies created by sensor ranges. This model is used to formalise the topological aspects of an existing counting algorithm to estimate the number of targets in the area covered by the…

Logic in Computer Science · Computer Science 2018-02-07 Sven Linker , Michele Sevegnani

In this paper, we critically review the potential of today's terrestrial wireless communication systems including wireless cellular technologies (GSM, UMTS, LTE, NR), wireless local area networks (WLANs), and wireless sensor networks…

Signal Processing · Electrical Eng. & Systems 2022-12-01 Tomaž Javornik , Andrej Hrovat , Aleš Švigelj

Wireless sensor networks (WSNs) have recently gained a lot of attention by scientific community. Small and inexpensive devices with low energy consumption and limited computing resources are increasingly being adopted in different…

Networking and Internet Architecture · Computer Science 2013-12-17 Asma Mesmoudi , Mohammed Feham , Nabila Labraoui

Wireless sensor networks (WSNs) have many potential applications [1, 5] and unique challenges. They usually consist of hundreds or thousands small sensor nodes such as MICA2, which operate autonomously; conditions such as cost, invisible…

Cryptography and Security · Computer Science 2011-03-30 Shahriar Mohammadi , Hossein Jadidoleslamy

This paper presents a performance evaluation of Wireless Sensor Networks (WSN) based on Impulse Radio Ultra Wideband (IR-UWB) over a new simulation platform developed for this purpose. The simulation platform is built on an existing network…

Networking and Internet Architecture · Computer Science 2010-02-03 Aubin Lecointre , Abdoulaye Berthe , Daniela Dragomirescu , Robert Plana

Sensor Networks technologies had proved their great practicability in the real world, being just a matter of time until this kind of networks will be standardized and used in the field. We focus on security issues in Distributed Sensor…

Networking and Internet Architecture · Computer Science 2018-08-06 Ovidiu Banias , Daniel-Ioan Curiac

Semantic communication (SC) is recognized as a promising approach for enabling reliable communication with minimal data transfer while maintaining seamless connectivity for a group of wireless users. Unlocking the advantages of SC for…

Information Theory · Computer Science 2024-06-24 Nitisha Singh , Christo Kurisummoottil Thomas , Walid Saad , Emilio Calvanese Strinati

Wireless sensor networks are often designed to perform two tasks: sensing a physical field and transmitting the data to end-users. A crucial aspect of the design of a WSN is the minimization of the overall energy consumption. Previous…

Information Theory · Computer Science 2014-01-07 Zichong Chen , Juri Ranieri , Runwei Zhang , Martin Vetterli

With advancements in microelectromechanical systems, low-power integrated circuits, and wireless communications, wireless sensor networks (WSNs) have become increasingly significant [1][2]. These distributed networks enable efficient…

Networking and Internet Architecture · Computer Science 2025-01-07 Michael Simon , Salwa M. Din , Raja Jamal Chib

A brief survey of the author and collaborators' work in compressive sensing applications to continuous imaging models.

Optics · Physics 2016-08-02 Albert Fannjiang

This two-part paper presents a feedback-based cross-layer framework for distributed sensing and estimation of a dynamic process by a wireless sensor network (WSN). Sensor nodes wirelessly communicate measurements to the fusion center (FC).…

Systems and Control · Computer Science 2015-06-23 Nicolo Michelusi , Urbashi Mitra

Semantic communication (SC) aims to communicate reliably with minimal data transfer while simultaneously providing seamless connectivity to heterogeneous services and users. In this paper, a novel emergent SC (ESC) system framework is…

Machine Learning · Computer Science 2023-11-09 Christo Kurisummoottil Thomas , Walid Saad

Impulse Radio Ultra Wide Band (IR-UWB) is a promising technology to address Wireless Sensor Network (WSN) constraints. However, existing network simulation tools do not provide a complete WSN simulation architecture, with the IR-UWB…

Networking and Internet Architecture · Computer Science 2010-02-03 Abdoulaye Berthe , Aubin Lecointre , Daniela Dragomirescu , Robert Plana