Real-time smart applications are now possible because to developments in communication and sensor technology. Wireless sensor networks (WSNs) are used to collect data from …
Abstract Advancements in Neural Networks have led to larger models, challenging implementation on embedded devices with memory, battery, and computational constraints …
A main challenge in the design of wireless-based Cyber-Physical Systems consists in balancing the need for security and the effect of broadcast communication with the limited …
In the last decade, underwater wireless sensor networks (UWSNs) have attracted a lot of attention from the research community thanks to their wide range of applications that include …
A Zadin, T Fevens - Future Generation Computer Systems, 2016 - Elsevier
For efficient communication in a mobile ad hoc network (MANET), dealing with interference while performing concurrent multi-hop routing is of great importance. By establishing an …
Blockchain technology has become deeply integrated into modern life, offering diverse applications beyond its origins in cryptocurrency. Ethereum's transition to a Proof-of-Stake …
Connectivity and communication interference are two key aspects in mobile ad-hoc networks (MANETs). This paper proposes a process algebraic model targeted at the …
In this work, a multi-hop string network with a single sink node is analyzed. A periodic optimal scheduling for TDMA operation that considers the characteristic long propagation …
A Cerone, M Hennessy - Logical Methods in Computer …, 2013 - lmcs.episciences.org
We propose a process calculus to model high level wireless systems, where the topology of a network is described by a digraph. The calculus enjoys features which are proper of …