.:. Listes > Par discipline > Réseaux et télécommunications .:.

6 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Recherche sur les techniques clés pour les communications multimédias dans les Ad-Hoc réseaux Zhou L. École normale supérieure de Cachan - ENS Cachan (14/04/2009), Benoït Geller (Dir.) [tel-00506045 - version 1]

Contribution à la conception de services de partage de données pour les grilles de calcul Antoniu G. École normale supérieure de Cachan - ENS Cachan (05/03/2009), Patrick Valduriez (Pr.) [tel-00437324 - version 1]

Logiques pour les systèmes temporisés : contrôle et expressivité Chevalier F. École normale supérieure de Cachan - ENS Cachan (25/06/2007), Paul Gastin (Dir.) [tel-00199604 - version 1]

Théories de l'intrus pour la vérification des protocoles cryptographiques Bernat V. École normale supérieure de Cachan - ENS Cachan (01/06/2006), Hubert Comon-Lundh (Dir.) [tel-00132064 - version 1]

Vers un Model Checking avec accélération plate des systèmes hétérogènes Bardin S. École normale supérieure de Cachan - ENS Cachan (20/10/2005), Alain Finkel (Dir.) [tel-00131834 - version 1]

Méthodes probabilistes pour la vérification des systèmes distribués Messika S. École normale supérieure de Cachan - ENS Cachan (14/12/2004), Laurent Fribourg (Dir.) [tel-00136083 - version 1]