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

منذ شهرين

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

منذ سنتين

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.

A Privacy Guard Mechanism for Cloud-based Home Assistants

K. Mahdjar et al.