Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

Pour une recherche détaillée
Visiter Papyrus
Date Trier par date en ordre décroissant Titre Trier par titre en ordre décroissant
2004 Développement d'un outil générique de simulation distribuée de marchés électroniques basés sur les enchères
2006 Recherches coopératives pour la résolution de problèmes d'optimisation combinatoire
2003 Un modèle de validation automatique de mécanismes de sécurisation des communications
2003 SecAdvise - un aviseur de mécanismes de sécurité : implantation, validation et expérimentation du modèle proposé
2003 SecAdvise : un aviseur de mécanismes de sécurité
2003 Architecture de communication générique pour un système de bus du commerce électronique
2006 Équilibrage de charge dans un réseau pair-à-pair structuré : une méthode dynamique intégrée
2003 Conception d'un modèle de création générique d'agents de médiation
2002 Le système de question-réponse QUANTUM
1992 Génération automatique de procédés anaphoriques dans les textes d'assemblage
1994 Étude sur la planification de texte : application au sous-domaine de la population active
1993 Expression de la localisation temporelle dans un générateur de texte
1999 Architecture de bibliothèque numérique multi-agents à services extensibles
2001 State abstraction in SDL
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2002 Changeabilité des logiciels orientés objet : propriétés architecturales et indicateurs de qualité
1998 Change impact analysis in object-oriented systems : conceptual model and application to C++
2000 Architecture et services pour la distribution de charge dans les systèmes distribués objet
2004 Workflow technology for complex socio-technical systems
2000-05 Vers un paradigme transformationnel dans le développement orienté objet
2000 Support informatique à la compréhension des logiciels orientés objet de taille industrielle
2003 Un cadre d'application pour la visualisation des métriques orientées objet
1998 Détection des patrons de conception dans les systèmes orientés objet
1996 Developing network management applications using application frameworks and literate programming
2001 RCR : un profil UML pour la rétroconception, la compréhension et la réingénierie de logiciels
2000 Évaluation qualitative et quantitative d'outils de visualisation logicielle
2002 Combined negotiations in E-commerce : concepts, architecture, and implementation
2002 Alimentation d'un dépôt de code source pour l'analyse détaillée de systèmes de taille industrielle
2002 Tool support for context-based comprehension of large-scale software systems
2002 Agents à base de règles pour les négociations électroniques : concepts et infrastructure