Une approche de transformation des processus métiers BPMN vers les diagrammes d’activités UML basée sur la transformation de graphes

منذ 8 أشهر

Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés

منذ سنة

A Formal Approach for Modeling and Verifying SLA-based Cloud Systems

منذ سنتين

Graph Transformation Approach for Dynamic Reorganization in Multi-Agent Systems

منذ سنتين

La Composition de Modèles pour l’Extraction des Lignes de Produits à partir de Produits Existants

منذ سنتين

Architectures et protocoles applicatifs dans l'Internet des objets

منذ سنتين

Integration a Contextual Observation System in a Multi-Process Architecture for Autonomous Vehicles

A. Chaouche et al.

Optimized exploration of quantum circuits space based on sub-circuits equivalences

K. Khalfaoui et al.

Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution

R. Hamli et al.

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams

H. Hamrouche et al.

Using Machine Learning Techniques to Predict People At-Risk for Drug Addiction: A Bayesian-Based Model

W. Abada et al.

Formal Verification and Implementation of an E-Voting System

S. Meghzili et al.