-
Chapter and Conference Paper
Integrated Vehicle Access Protocol with Priority-Based Messaging for VANETs
Enhancing the functionality of connected and automated vehicles (CAVs) hinges on the robust exchange of real-time safety messages. These communications are critical for conveying traffic information, aiding dr...
-
Chapter and Conference Paper
Distribution of the Training Data Over the Shortest Path Between the Servers
In this paper, we present a method that supports multi-server learning with distributed data, by collecting selected data from the neighbors of training servers, the proposed training scheme can train multiple...
-
Chapter and Conference Paper
Distributed Training from Multi-sourced Data
A distributed system is a set of logical or physical units capable of performing calculations and communicating with each other. Nowadays, these systems are at the heart of technologies such as the Internet of...
-
Article
Infrastructure localization service and tracking scheme in uncovered areas for Internet of Vehicles
With the advent of Internet of Vehicles, overhead related to localization services and path discovery step can drain the network resources and overload the large-scale vehicular networks, thus slowing down the...
-
Chapter and Conference Paper
A Lightweight Authentication Scheme for SDN-Based Architecture in IoT
With the widespread usage of Internet-enabled devices, the Internet of things (IoT) has become popular and well integrated in different countries nowadays. However, the huge amount of data generated from sever...
-
Chapter and Conference Paper
High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks
After the deployment of a Wireless Sensor Network (WSN), we may need to update or even change the algorithm running in the sensors. WSNs are often deployed on a large scale which makes the manual update of the...
-
Chapter and Conference Paper
A New SDN Architecture Based on Trust Management and Access Control for IoT
Software Defined Networking (SDN) is an emerging technology that introduces a new design for networking. It decouples the hardware and the software for simplifying and hiding the management part of network el...
-
Chapter and Conference Paper
Algorithms for Finding Maximal and Maximum Cliques: A Survey
Finding maximal and maximum cliques are well-known problems in the graph theory. They have different applications in several fields such as the analysis of social network, bioinformatics and graph coloring. Th...
-
Chapter
A Formal Approach for Maintaining Forest Topologies in Dynamic Networks
In this paper, we focus on maintaining a forest of spanning trees in dynamic networks. In fact, we propose an approach based on two levels for specifying and proving distributed algorithms in a forest. The fir...
-
Chapter and Conference Paper
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs
Due to the behavior the complexity in Mobile Ad-hoc NEtworks (MANETs), modeling distributed algorithms and looking at their assumptions represent a challenging research task. Also, proving the correctn...
-
Chapter
Relaxing Time Granularity for Mining Frequent Sequences
In an industrial context application aiming at performing aeronautic maintenance tasks scheduling, we propose a frequent Interval Time Sequences (ITS) extraction technique from discrete temporal sequences using a...
-
Chapter and Conference Paper
Merging Time of Random Mobile Agents
In this paper, we investigate the following problem: k mobile agents are placed on a graph G. Each agent performs a random walk, and when two or more agents meet at a node, they merge into a single agent. We p...