| 1996 |
Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels |
Kabbaj, Adil |
Frasson, Claude |
| 1996 |
Reconstruction d'itinéraires optimaux dans un réseau multimodes-multiproduits |
Charland, Yves |
Crainic, Teodor Gabriel; Florian, Michael |
| 1996 |
Un système de programmation Scheme pour micro-contrôleur |
Dubé, Danny |
Feeley, Marc |
| 1996 |
Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI |
Rabia, Nadjib |
Frasson, Claude |
| 1996 |
Étude et réalisation d'un système conseiller |
Serroud, Abdallah |
Frasson, Claude |
| 1996 |
Génération intégrée de textes et de graphiques statistiques |
Fasciano, Massimo |
Lapalme, Guy |
| 1996 |
Formal method for the design of real-time communicating subsystems and controllers |
Tao, Zhongpīng |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1996 |
On the development of conformance test suites in view of their fault coverage |
Yao, Mingyu |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1996 |
Un outil pour la spécification de matériel et la génération de modèles exécutables |
Babkine, Philippe-André |
Cerny, Eduard |
| 1996 |
Détermination de la contraction de la surface cardiaque en coronarographie biplan |
Ait Hamou Cheriet, Farida |
Meunier, Jean |
| 1996 |
Application d'une méthode exacte pour la génération d'horaire en soins infirmiers |
Gagné, Éric |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 1996 |
Problèmes multicritère avec contraintes d'affectation |
Marziliano, Pina |
Ferland, Jacques |
| 1996 |
Environnement auteur exploitant les bases de connaissances dans un système tutoriel intelligent |
Mghayar, Antoine |
Gecsei, Jan |
| 1996 |
Résolution du problème de tournées de véhicules à flotte hétérogène à l'aide de la recherche avec tabous |
Musaraganyi, Christophe |
Gendreau, Michel; Laporte, Gilbert |
| 1996 |
Spécification formelle de systèmes d'information interactifs par la technique des scénarios |
Kawashita, Ilka |
Babin, Gilbert; Lustman, François |
| 1996 |
Test de conformité du protocole de signalisation en mode Trames (Frame Relay) |
Ould Mohamed-Salem, Mohamed-Vall |
Bochmann, Gregor V. |
| 1996 |
Estimation de la performance et méthodes d'allocation dans la synthèse de systèmes numériques |
Bennour, Imed-Eddine |
Aboulhamid, El Mostapha |
| 1996 |
Satisfaction incrémentielle de contraintes par le biais de la réécriture |
Roy, Gilles |
Vaucher, Jean |
| 1996 |
Décomposition semi-automatique de diagramme de flot des données (DFD) |
Tamim, Mohamad |
Lustman, François |
| 1996 |
La sécurité des protocoles de la cryptographie quantique |
Mayers, Dominic |
Brassard, Gilles |
| 1996 |
Réseaux de neurones à faible précision et réalisation sur ordinateur à logique programmable |
Pigeon, Steven |
Cloutier, Jocelyn |
| 1996 |
Modélisation des connaissances de la matière dans un système tutoriel intelligent : modèles, outils et applications |
Nkambou, Roger |
Frasson, Claude; Gauthier, Gilles |
| 1996 |
Topoï, un système de production d'argumentations dialectiques |
St-Vincent, Pierre |
Bratley, Paul; Poulin, Daniel |
| 1996 |
Estimation fonctionnelle dans le cadre de politiques de remplacement dans un système à plusieurs composantes |
Martin, Benoit |
L'Écuyer, Pierre; Vazquez-Abad, Felisa J. |
| 1997 |
Composition automatique d'expressions faciales synthétiques à partir de capture de postures faciales |
Kouadio, Cyriaque |
Poulin, Pierre |
| 1997 |
Applications multimédia et gestion de qualité de service dans l'environnement du World Wide Web |
Madja, Erika Jeannette |
Dssouli, Rachida; Gecsei, Jan |
| 1997 |
Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau |
Chaker, Kamel Yahia |
Bochmann, Gregor V.; Gregoire, Jean-Charles |
| 1997 |
Étude et réalisation d'un système d'aide à la modélisation des tâches |
Lupascu, Daniela Suzana |
Aïmeur, Esma; Frasson, Claude |
| 1997 |
Construction des machines à état abstrait à partir des modèles VHDL |
Anon, Koty Dominique |
Cerny, Eduard |
| 1997 |
Confection d'horaires en soins infirmiers pour les infirmières des équipes volantes-secteur |
Villeneuve, Sophie |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 1997 |
Propriétés relationnelles tridimensionnelles des structures d'acides nucléiques |
Ftouhi, Abdelmjid |
Major, François |
| 1997 |
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication |
Soukeur, Abdelouahed |
Bochmann, Gregor V. |
| 1997 |
Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués |
Dini, Petre |
Bochmann, Gregor V.; Frasson, Claude; Boutaba, Raouf |
| 1997 |
Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche |
L'Écuyer, Francis |
Feeley, Marc |
| 1997 |
On conformance testing of systems communicating by Rendezvous |
Tan, Qiang-Ming |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1997 |
Vérification des propriétés temporelles des interfaces matérielles à l'aide de la programmation logique avec contraintes |
Girodias, Pierre |
Cerny, Eduard |
| 1997 |
Les procédés cryptographiques de monnaie électronique : design, fonctionnalités et usages |
Blanchette, Jean-François |
Crépeau, Claude |
| 1997 |
Intervalles de confiance bootstrap pour la simulation de processus regénératifs |
Choquet, Denis |
L'Écuyer, Pierre; Léger, Christian |
| 1997 |
Approches de parallélisation basées sur l'organisation de la mémoire pour des méthodes de séparations et évaluations progressives |
Bourbeau, Benoît |
Crainic, Teodor; Gendron, Bernard |
| 1997 |
Dérivation de spécification à partir de scénarios d'interaction |
Somé, Stéphane Sotèg |
Dssouli, Rachida; Vaucher, Jean |