Search
Search Results
-
Agent based coordination protocol for system of cyber-physical systems
Nowadays, society and business rely heavily on Information and Communication Technology (ICT) systems, which are progressing faster than ever. To...
-
Time-Optimal Self-stabilizing Leader Election on Rings in Population Protocols
We propose a self-stabilizing leader election protocol on directed rings in the model of population protocols. Given an upper bound N on the... -
Performance Analysis of Energy Efficient Optimization Algorithms for Cluster Based Routing Protocol for Heterogeneous WSN
Wireless sensor networks (WSNs) usually consist of a small number of sensors that track their surroundings, gather data, and send it to remote... -
Fault-tolerant simulation of population protocols
In this paper we investigate the computational power of population protocols under some unreliable or weaker interaction models. More precisely, we...
-
Design and Simulation of Cooperative Communication Networks for Wireless Sensors in Underwater Environments
The underwater communication environment is complex and changeable, with special requirements for delay and packet loss rate. This paper proposes a... -
Implementation of the Cross-Blockchain Interacting Protocol
Blockchain is a develo** and promising technology that can provide users with such advantages as decentralization, data security and transparency... -
A Combinatorial Characterization of Self-stabilizing Population Protocols
We characterize self-stabilizing functions in population protocols for complete interaction graphs. In particular, we investigate self-stabilization... -
New Bounds for the Flock-of-Birds Problem
In this paper, we continue a line of work on obtaining succinct population protocols for Presburger-definable predicates. We focus on threshold... -
Citizen-centered, auditable and privacy-preserving population genomics
The growing number of health-data breaches, the use of genomic databases for law enforcement purposes and the lack of transparency of personal...
-
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs
We present a new version of Peregrine, the tool for the analysis and parameterized verification of population protocols introduced in [Blondin et... -
An intelligent trust sensing scheme with metaheuristic based secure routing protocol for Internet of Things
The Internet of Things (IoT) defines the network of physical objects, commonly used to interconnect and communicate with other devices through the...
-
Hierarchical WSN protocol with fuzzy multi-criteria clustering and bio-inspired energy-efficient routing (FMCB-ER)
Wireless Sensors Network (WSN) is used for monitoring and recording the physical environment and to transfer the sensed data to a central location by...
-
SPRINT: High-Throughput Robust Distributed Schnorr Signatures
We describe robust high-throughput threshold protocols for generating Schnorr signatures in an asynchronous setting with potentially hundreds of... -
Towards a generic agent-based vector-host model: effects of carrying capacity and host mobility
The aim of our work is to develop a generic conceptual agent-based model to formalize the interaction of vector and host given climate change. The...
-
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets
Wireless technologies are continuously evolving, including features such as the extension to mid- and long-range communications and the support of an...
-
The greedy crowd and smart leaders: a hierarchical strategy selection game with learning protocol
In this paper, a general resource distribution game with a hierarchical structure on the bipartite graph is proposed. In this system, the game is...
-
Assessing the suitability of the Greenhouse Gas Protocol for calculation of emissions from public cloud computing workloads
Efficiency improvements over the past decade have meant that data center energy usage has decoupled from the growth in IT workloads. Much of this...
-
Immersive virtual reality applied to the rehabilitation of patients with lower limb amputation: a small randomized controlled trial for feasibility study
Limb amputation significantly impacts the socioeconomic and health aspects of affected individuals, with clinical issues such as phantom limb pain...
-
Health Promotion Technology and the Aging Population
In an effort to improve the quality of care for any population, technology is integrated into the healthcare system. Different types of technologies... -
Privacy Preserving Epigenetic PaceMaker: Stronger Privacy and Improved Efficiency
DNA methylation data plays a crucial role in estimating chronological age in mammals, offering real-time insights into an individual’s aging process....