Titre | Auteur | ||
---|---|---|---|
Une approche de spécification des changements de besoins basée transformations de graphes
|
Khaled Khalfaoui | MFGL | il y a 10 ans |
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes
|
Said Labed | SCAL | il y a 11 ans |
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
|
Mohamed Gharzouli | MFGL | il y a 13 ans |
Recherche d’information contextuelle et sémantique sur le web
|
Abdelkrim Bouramoul | AVIAN | il y a 13 ans |
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes
|
Elhillali Kerkouche | MFGL | il y a 13 ans |
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel
|
Nabil Belala | CFSC | il y a 14 ans |
Recherche d’images par le contenu
|
Kamel Houari | AVIAN | il y a 14 ans |
Une approche intégrée Mobile-UML/Réseaux de Petri pour l’Analyse des systèmes distribués à base d’agents mobiles
|
Mohamed Redha Bahri | MFGL | il y a 14 ans |
Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes
|
Raida Elmansouri | MFGL | il y a 14 ans |
Méthodologie de vérification formelle pour les micro-architectures RISC : Approche fonctionnelle
|
Salah Merniz | SCAL | il y a 16 ans |
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
|
Mourad Bouzenada | CFSC | il y a 16 ans |
De la modélisation produit dans les technologies XAO au PLM: Une contribution à l’intégration des applications d’ingénierie dans un cadre de gestion du cycle de vie produit
|
Sihem Mostefai | SCAL | il y a 16 ans |
Approche de vérification contextuelle des systèmes ambiants
|
Roumeissa Khennaoui | CFSC | En cours |
Collecte, prétraitement et visualisation des données sur les effets des substances psychoactives dans les addictions multiples
|
Wafia Abada | AVIAN | En cours |
Contribution à la sécurisation des données dans le cloud
|
Akram Lichani | CFSC | En cours |
Développement de systèmes intégrés pour le smart campus
|
Abir Nemouchi | CFSC | En cours |
Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle
|
Abir Bitat | SCAL | En cours |
Optimisation et déploiement d’un système communicant intelligent basé IoT et exploitant les technologies LPWAN pour la prévention et la détection des feux de forêts
|
Amira Sairi | SCAL | En cours |
Optimizing Vehicular traffic management: A SDN based Approach
|
Soufyane Guerza | SCAL | En cours |
Planification événementielle dans un système d'intelligence ambiante
|
Hichem Baitiche | CFSC | En cours |