Spelling suggestions: "subject:"d'ordinateur"" "subject:"d'ordinate""
11 |
VoIP Networks Monitoring and Intrusion DetectionNassar, Mohamed Festor, Olivier. January 2009 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2009. / Titre provenant de l'écran-titre.
|
12 |
Modélisaton et sécurité des réseauxCormier, Alexandre. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2007. / Titre de l'écran-titre (visionné le 5 mai 2008). Bibliogr.
|
13 |
Interconnexion de réseaux informatiques hétérogènes : méthode formelle de conversion de protocoles /Noosong, Montchai. January 1992 (has links)
Th. doct.--Informatique et réseaux--Paris--ENST, 1992. / Bibliogr. p. 155-158.
|
14 |
Détection d'intrusions et analyse passive de réseauxCouture, Mathieu. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2005. / Titre de l'écran-titre (visionné le 28 novembre 2005). Bibliogr.
|
15 |
Détection des variations d'attaques à l'aide d'une logique temporelleLespérance, Pierre-Luc. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 28 mars 2007). Bibliogr.
|
16 |
Communications et protocoles dans une architecture multi-micro-processeur.Degrendel, Bernard, January 1900 (has links)
Th. doct.-ing.--Lille 1, 1977. N°: 202.
|
17 |
Model-checking du délai dans les éléments réseauxBen Nasr, Sami 04 1900 (has links) (PDF)
La responsabilité des routeurs s'engage lorsque les machines hôtes envoient leurs paquets dans le réseau. Les routeurs auront donc la fonction de transmettre ces paquets sur les liens pour les acheminer vers la destination déterminée. Cependant, comme le routeur traite les paquets séparément, la performance du routeur dépend donc du temps de traitement pour chaque paquet. Avec une charge de trafic, il est possible d'optimiser efficacement le traitement des paquets dans le routeur. Notre attention sera portée sur l'évaluation du délai de bout-en-bout dans le réseau End-to-End. Ce mémoire propose donc un modèle qui consiste à évaluer et vérifier les délais des paquets dans les routeurs par la méthode de vérification de modèles (Model-Checking).
______________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : vérification de modèles, Model-Checking, réseaux, routeur, délai.
|
18 |
Sécurité des communications de groupe dans les réseaux ad hocBouassida, Mohamed Salah Festor, Olivier. January 2006 (has links) (PDF)
Thèse doctorat : Informatique : Nancy 1 : 2006. / Titre provenant de l'écran-titre.
|
19 |
Routage dans les réseaux mobiles ad hocMolo, Badji. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2007. / Titre de l'écran-titre (visionné le 18 sept. 2007). Bibliogr.
|
20 |
Utilisation du protocole SNMP pour la gestion à distance d'une interface radio par paquetsHmida, Haithem. January 1998 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1998. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
Page generated in 0.0441 seconds