Théses de Doctorat: Recent submissions

Voici les éléments 181-200 de 241

Une approche multi-formalismes pour la spécification et la vérification des systèmes communicants

Bouabana, Thouraya épse. Tebibel (2007)
Edition et modélisation d'un système de présentation multimédia

Smail, Samia épse. Bouyakoub (2010)
Réduction à l'aide d'une approche basés sur les KNN des alertes fausses positives issues d'un détecteur d'intrusions réseau

Miloud Aouidat, Amal (2014)
Tolérance aux pannes dans les systèmes d’agents mobiles transactionnels

Zeghache, Linda (2014)
Calcul d'une carte de disparités dense en temps réel

Baha, Nadia épse. Touzene (2012)
Formalisation de la langue arabe application à la causalité

Belkredim, Fatma Zohra (2010)
Négociation de services pour les téléphones de troisième génération

Bouyakoub, Fayçal M'hamed (2010)
De la conception physique au tuning des entrepôts de données

Boukhalfa, Kamel (2009)
Spécification et validation des relations temporelles et spatiales dans un document multimédia interactif

Maredj, Azze-Eddine (2009)
Intégration d'agents intelligents dans les approches Data Mining pour la sélection des index et des vues matérialisés dans les entrepôts des données relationnels

Necir, Hamid (2013)
Optimisation du routage dans les réseaux de capteurs pour les applications temps-réel

Aissani, Mohamed (2011)
Modèle et techniques de transactions adaptables pour les environnements mobiles

Taboudjemat, Nadia épse. Nouali (17-11-2007)
Proposition d'une infrastructure statique et dynamique pour le support du travail collaboratif "application au tutorat dans le e-learning"

Mahdaoui, Latifa (2008)
Synthèse de haut niveau d'un compilateur de systèmes digitaux VLSI à intégrer sur la même puce

Mahdoum, Ali (2007)
Un formalisme de sécurisation des bases de données multi-niveaux

Boustia, Narhimene (2011)
Ordre causal dans les environnements mobiles

Benzaid, Chafika (2009)
Sémantique et validation d'un modèle basé sur les RdPT pour la spécification et l'analyse des systèmes temps réel complexes

Abdelli, Abdelkrim (2007)
Intégration du modèle d'ontologies Plib et des services Web dans les échanges inter-entreprises

Aklouf, Youcef (2007)
Systèmes coopératifs dans un contexte de multi-expertises

Akli, Karima épse. Astouati (2012)
Modèle possibiliste pour la recherche d'informations agrégée dans des corpus de documents semi structurés

Mechmache, Fatma Zohra épse. Bessai (2012)

Recently added

Théses de Doctorat: Recent submissions

Chercher dans le dépôt

Parcourir

Tout DSpace

Cette collection

Mon compte