-
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...
-
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...