Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets
Ammar Boucherit, Abdallah Khababa, Laura M. Castro
Volume 14، (4)، Pages 403-4182018Article 5
Productions scientifiques
Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès ferméPlusieurs sources 3
PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan
Computer Science Journal of MoldovaVolume 31، (2 (92))، Pages 272-2962023Article Accès ouvertPlusieurs sources
Development of Critical Systems with UML/OCL and FoCaLiZe
Communications in computer and information sciencePages 16-302021Autre Accès ferméPlusieurs sources 1
Deep Convolutional Neural Network with KNN Regression for Automatic Image Annotation
Ramla Bensaci, Belal Khaldi, Oussama Aiadi, Ayoub Benchabana
OAIDS: An Ontology-Based Framework for Building an Intelligent Urban Road Traffic Automatic Incident Detection System
HIRECHE, Samia, DENNAI, Abdeslem, KADRI, Boufeldja
2022Communication Accès ouvert
Feature Selection using F-score Method for Offline Arabic Handwritten Fragment Identification
Azzoug, Soraya, Chibani, Youcef, Djoudjai, Mohamed Anis
2022Communication Accès ouvert
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Pages 1-52024Autre Accès ferméPlusieurs sources 3
Big Data Veracity: Methods and challenges
benabderrahmane, MOUTASSEM, laouni, DJAFRI, GAAFOUR, Abdel-Kader
2022Communication Accès ouvert
A hybrid LBP-HOG model and naive Bayes classifier for knee osteoarthritis detection: data from the osteoarthritis initiative
Messaoudene, Khadidja, Harrar, Khaled
2022Communication Accès ouvert
New Simplified and Generalized Three-Dimensional Space Vector Modulation Algorithm for Multilevel Four-Leg Diode Clamped Converter
Mansour Bouzidi, Said Barkat, Abdelbasset Krama
IEEE Transactions on Industrial ElectronicsVolume 68، (10)، Pages 9908-99182020Article Accès ferméPlusieurs sources 15
Simplified hybrid space vector modulation for multilevel diode clamped converter
Mansour Bouzidi, Said Barkat, Abdelbasset Krama
إمكانات التكامل الاقتصادي النقدي في دول غرب القارة الإفريقية " الواقع والتحديات"
نصيـــر, أحمد, زين, يونس, بن موسى, بشير
2019Communication Accès ouvert
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Autre Accès ferméPlusieurs sources 2
An Authenticated Method for a Secure Changing Password
Mostefa Kara, Konstantinos Κarampidis, Laid Kenioua, Manolis G. Tampouratzis, Muath AlShaikh, Giorgos M. Papadourakis, Abdelkader Laouid
Pages 1-62024Autre Accès ferméPlusieurs sources 1
Automation of the reading and interpretation of the OTDR plot
MAZOUZI, Amine, ABOUN ABID, Miloud
2022Communication Accès ouvert
An automated cascade framework for glioma prognosis via segmentation, multi-feature fusion and classification techniques
Biomedical Physics & Engineering ExpressVolume 11، (3)، Pages 0350272025Article Accès ferméPlusieurs sources 1
A Cost-effective Deep Active Learning for Object Detection in Automated Driving Systems
Mohib Khebbache, Salim Bitam, Abdelhamid Mellouk
International Journal of Computing and Digital SystemsVolume 14، (1)، Pages 839-8542023Article Accès ouvertPlusieurs sources 1
The Effect of Automation and Artificial Intelligence on Income Inequality
Zeghdi Adel
مجلة الاقتصاد والتنمية المستدامةVolume 8، (1)، Pages 224-2442025Article Accès ouvertPlusieurs sources
The Role of Intelligent Process Automation in Modern Marketing Strategies
Ayadi Salah, Achour Sadok