Category: elisa
- OUROUA - Modélisation et vérification formelle des propriétés de la sécurité informatique.
Auteur OUROUA, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Modéli
View Details- NEMMOUCI - Application des modèles stochastiques formels pour la modélisation et l'évaluation des performances des réseaux de capteurs sans fil.
Auteur NEMMOUCI, Directeur de thèse GHARBI Nawal Filière Informatique Diplôme Doctorat Titre Applic
View Details- SMATTI - Architecture et styles d'architectures pour la modélisation des procédés logiciels
Auteur SMATTI, Directeur de thèse AHMED NACER Mohamed Filière Informatique Diplôme Doctorat Titre A
View Details- BENABIDALLAH - Une approche de modélisation de procédés de développement de logiciel.
Auteur BENABIDALLAH, Directeur de thèse AHMED NACER Mohamed Filière Informatique Diplôme Doctorat
View Details- BOUGUELIA - Modélisation et conception orientée "services"
Auteur BOUGUELIA, Directeur de thèse AHMED NACER Mohamed Filière Informatique Diplôme Doctorat Titr
View Details- BOUZEGZA - Modélisation de vériication de politique de sécurité à l'aide de modules formel
Auteur BOUZEGZA, Directeur de thèse BOUKALA Malika Co-directeur CHEKAI Fatima Filière Informatique
View Details- BERRACHEDI - Modélisation et vérification des propriétés des réseaux de capteurs.
Auteur BERRACHEDI, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Mo
View Details- KEBAILI - Parallélisation de l'algorithme des Dividing-cubes et implémentation sur GPU et CPU multi-coeur.
Auteur KEBAILI, Directeur de thèse BOUMGHAR Fatima Filière Informatique Diplôme Doctorat Titre Para
View Details- TEBBI - Modélisation de la génération vocale par un système expert
Auteur TEBBI, Directeur de thèse AZZOUNE Hamid Filière Informatique Diplôme Doctorat Titre Modélisa
View Details- SAFA - Proposition d'un modèle de découverte des services web basés sur les techniques de modélisation prédictive.
Auteur SAFA, Directeur de thèse AKLOUF Youcef Co-directeur BEN EL HADJ Elmal Filière Informatique D
View Details- BETTAZ - Modélisation de la délégation et du contexte dans le contra d'accès.
Auteur BETTAZ, Directeur de thèse MOKHTARI Aicha Filière Informatique Diplôme Doctorat Titre Modéli
View Details- BENMAIZA - Modélisation auditive et rehaussement de la parole par une reconnaissance automatique robuste : Application sur des signaux de type GSM en langue arabe.
Auteur BENMAIZA, Directeur de thèse DEBYECHE Mohamed Filière Electronique Diplôme Doctorat Titre Mo
View Details