Results (2)
Search Parameters:
Author/Affiliation: Laurent NanaOpen AccessArticle
7 Pages, 848 KB 
Node-Node Data Exchange in IoT Devices Using Twofish and DHE
Abstract:
Internet of Things provides the support for devices, people and things to collaborate in collecting, analyzing and sharing sensitive information from one device onto the other through the internet. The internet of things is thriving largely due to access, connectivity, artificial intelligence and machine learning approaches that it supports. The stability and enhanced speed of…
Read More(This article belongs to the SP10 (Special Issue on Multidisciplinary Sciences and Engineering 2020-21) & Section Information Systems in Computer Science (CIS))
Open AccessArticle
9 Pages, 1,156 KB
Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions Plans
Abstract:
This article copes with the formal verification of properties of the missions building module of PILOT’s software. PILOT is a language dedicated to remote control of robots. An incremental syntax-oriented editor was built in order to increase the dependability of PILOT’s missions and we showed that, under a maximum size of plan, this editor allows…
Read More(This article belongs to the SP10 (Special Issue on Multidisciplinary Sciences and Engineering 2020-21) & Section Software Engineering in Computer Science (CSE))