- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 164 (0.065 seconds)Spelling suggestions: "subject:"informatique""
| 1 |
Une architecture de sécurité hiérarchique, adaptable et dynamique pour la GrilleContes, Arnaud Caromel, Denis Attali, Isabelle January 2005 (has links) (PDF)
Thèse de doctorat : Informatique : Nice : 2005. / Bibliogr. p. 3-9. Résumés en français et en anglais.
|
| 2 |
User protection in IT contracts a comparative study of the protection of the user against defective performance in information technology /Girot, Clarisse, January 2001 (has links)
Th. doct.--Center for law, public administration and informatization--University of Tilburg, 2000. / Notes bibliogr. Bibliogr. p. 439-457. Index.
|
| 3 |
Modèle et outils génériques pour la résolution des problèmes liés à la répartition des ressources sur grilles un petit pas vers la réconciliation des architectures orientées services avec leur infrastructure matérielle /Gossa, Julien Brunie, Lionel. Pierson, Jean-Marc. January 2008 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. [217]-221. Publications de l'auteur p. [215]-216.
|
| 4 |
Grid caching specification and implementation of collaborative cache services for grid computing /Cardenas Baron, Yonni Brunie, Lionel. Pierson, Jean-Marc. January 2008 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2007. / Thèse rédigée en anglais. Résumé étendu en français. Titre provenant de l'écran-titre. Bibliogr. p. 192-202.
|
| 5 |
Processus de Markov pour la sûreté de fonctionnement et la qualité de serviceSericola, Bruno January 1998 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 1998. / Bibliogr. p.47-54.
|
| 6 |
Sécurité des protocoles cryptographiques décidabilité et résultats de transfert /Zălinescu, Eugen Cortier, Véronique. Rusinowitch, Michaël January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2007. / Titre provenant de l'écran-titre.
|
| 7 |
Unfolding based verification of concurrent infinite-state systemsTrần, Thế Quang Walukiewicz, Igor. January 2009 (has links) (PDF)
Thèse de doctorat : Informatique : Bordeaux 1 : 2009. / Titre provenant de l'écran-titre.
|
| 8 |
Sécurisation de code basée sur la combinaison de la vérification statique et dynamique : génération de moniteur à partir d'un automate de RabinChabot, Hugues. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2009. / Titre de l'écran-titre (visionné le 16 juin 2009). Bibliogr.
|
| 9 |
Conception et réalisation d'un multiprocesseur microprogrammable à haute sûreté de fonctionnement : application à la commande d'une machine électrique.Lithy, Mohamed Ahmed-el, January 1900 (has links)
Th. doct.-ing.--Génie électrique--Nancy--I.N.P.L., 1980.
|
| 10 |
Évaluation de la sûreté de fonctionnement des systèmes de sécurité : application à la commande des postes à très haute tension.Medhaffer-Kanoun, Karima, January 1980 (has links)
Th. doct. -ing.--Électronique, électrotech., autom.--Toulouse--I.N.P., 1980. N°: 88.
|
Page generated in 0.0781 seconds