Soutenances

Thèse
 - 
LIG
 -  23 septembre 2015
 

Vers une prise en charge des comportements rationnels dans les systèmes distribués

Amadou DIARRA

De nos jours, la notion de responsabilité dans un système

Lire la suite
Thèse
 - 
Verimag
 -  18 septembre 2015
 

Automated Verification of Exam, Cash, Reputation, and Routing Protocols

Ali KASSEM

Résumé :

Lire la suite
Thèse
 - 
LJK
 -  18 décembre 2014
 

Automatic Rush Generation with Application to Theatre Performances

Vineet GANDHI

Professional quality videos of live staged performances are created by recording them from different appropriate viewpoints.

Lire la suite
Thèse
 - 
LIG
 -  15 décembre 2014
 

Inférence automatique de modèles d'applications Web et protocoles pour la détection de vulnérabilités

Karim Hossen

Les approches de tests basées sur les modèles (MBT) ont su montrer leur efficacité pour le test logiciel, mais elles nécessitent de disposer au préalable d'un modèle fo

Lire la suite
Thèse
 - 
LIG
 -  15 décembre 2014
 

Uncertainty-Sensitive Reasoning over the Web of Data

Mustafa Al Bakri

Dans cette thèse, nous étudions plusieurs approches destinées à aider les utilisateurs à trouver des informations utiles et fiables dans le Web de données, en utilisant

Lire la suite
Thèse
 - 
LIG
 -  12 décembre 2014
 

Adaptation autonomique d’applications pervasives dirigée par les architectures

Etienne Gandrille

    La problématique d’adaptation autonomique prend de plus en plus d’importance dans l’administration des applications modernes, notamment pervasives.

Lire la suite
Thèse
 - 
LJK
 -  28 novembre 2014
 

Inférence non paramétrique pour les modèles gibbsiens de processus ponctuels spatiaux

Nadia MORSLI

Parmi les modèles permettant d'introduire de l'interaction entre les points, nous trouvons très large famille des modèles semi-paramétrique de ces modèles caractérisés par l'intensité conditionnell

Lire la suite
Thèse
 - 
LJK
 -  17 novembre 2014
 

Construction et Estimation de copules en grande dimension

Gildas MAZO

In the last decades, copulas have been more and more used in statistical modeling.

Lire la suite
Thèse
 - 
LIG
 -  13 novembre 2014
 

Déploiement continu des applications pervasives en milieux dynamiques

Ozan Gunalp

L'émergence des nouveaux types d’environnements informatiques amplifie le besoin pour des systèmes logiciels d’être capables d’évoluer dynamiquement.

Lire la suite

Pages