:facetid:toc:\"db/journals/tsi/tsi21.bht\"OK:facetid:toc:db/journals/tsi/tsi21.bhtAgnès ArnouldPascale Le GallTest de conformité : une approche algébrique.Tech. Sci. Informatiques2191219-12422002Journal Articlesclosedjournals/tsi/ArnouldG02http://tsi.revuesonline.com/article.jsp?articleId=3819https://dblp.org/rec/journals/tsi/ArnouldG02URL#6255025Michel AuguinLaurent CapellaFernand CuestaEmmanuel GressetPartitionnement de spécifications flots de données conditionnels pour la conception de systèmes embarqués.Tech. Sci. Informatiques212225-2512002Journal Articlesclosedjournals/tsi/AuguinCCG02http://tsi.revuesonline.com/article.jsp?articleId=3911https://dblp.org/rec/journals/tsi/AuguinCCG02URL#6255026Amer BaghdadiNacer-Eddine ZergainohWander O. CesárioAhmed Amine JerrayaExploration de l'espace des solutions architecturales dans le codesign.Tech. Sci. Informatiques2119-352002Journal Articlesclosedjournals/tsi/BaghdadiZCJ0210.3166/TSI.21.9-35https://doi.org/10.3166/tsi.21.9-35https://dblp.org/rec/journals/tsi/BaghdadiZCJ02URL#6255027Franck BarbierAnnig Le Parc-LacayrelleJean-Michel BruelAgrégation et composition dans UML. Révision basée sur la théorie Tout-Partie.Tech. Sci. Informatiques21101343-13702002Journal Articlesclosedjournals/tsi/BarbierPB02http://tsi.revuesonline.com/article.jsp?articleId=3813https://dblp.org/rec/journals/tsi/BarbierPB02URL#6255028Jean-Paul A. BarthèsMilton Pires RamosAgents assistants personnels dans les systèmes multi-agents mixtes - Réalisation sur la plate-forme OMAS.Tech. Sci. Informatiques214473-4982002Journal Articlesclosedjournals/tsi/BarthesR02http://tsi.revuesonline.com/article.jsp?articleId=265https://dblp.org/rec/journals/tsi/BarthesR02URL#6255029Françoise BaudeDenis CaromelFabrice HuetJulien VayssièreObjets actifs mobiles et communicants.Tech. Sci. Informatiques216823-8492002Journal Articlesclosedjournals/tsi/BaudeCHV02http://tsi.revuesonline.com/article.jsp?articleId=3836https://dblp.org/rec/journals/tsi/BaudeCHV02URL#6255030Françoise BellegardeCelina CharletOlga KouchnarenkoRaffiner pour vérifier des systèmes paramétrés.Tech. Sci. Informatiques2181121-11492002Journal Articlesclosedjournals/tsi/BellegardeCK02http://tsi.revuesonline.com/article.jsp?articleId=3826https://dblp.org/rec/journals/tsi/BellegardeCK02URL#6255031Guy BernardLeila IsmailApport des agents mobiles à l 'exécution répartie.Tech. Sci. Informatiques216771-7962002Journal Articlesclosedjournals/tsi/BernardI02http://tsi.revuesonline.com/article.jsp?articleId=3834https://dblp.org/rec/journals/tsi/BernardI02URL#6255032Jean-Luc BeuchatJacques-Olivier HaenniHéctor Fabio RestrepoChristof TeuscherFrancisco J. GómezEduardo SanchezApproches matérielles et logicielles de l'algorithme de chiffrement IDEA.Tech. Sci. Informatiques212203-2242002Journal Articlesclosedjournals/tsi/BeuchatHRTGS02http://tsi.revuesonline.com/article.jsp?articleId=3910https://dblp.org/rec/journals/tsi/BeuchatHRTGS02URL#6255033Olivier BoissierDavid HoussinStefan BornhofenSamia SouissiVincent GinotEntre programmation par composants et langages d'experts - Rendre la modélisation individu-centrée plus accessible à l'utilisateur.Tech. Sci. Informatiques214525-5482002Journal Articlesclosedjournals/tsi/BoissierHBSG02http://tsi.revuesonline.com/article.jsp?articleId=267https://dblp.org/rec/journals/tsi/BoissierHBSG02URL#6255034Olivier BoiteAutomatiser les preuves d'un sous-langage de la méthode B.Tech. Sci. Informatiques2181099-11202002Journal Articlesclosedjournals/tsi/Boite02http://tsi.revuesonline.com/article.jsp?articleId=3825https://dblp.org/rec/journals/tsi/Boite02URL#6255035Bernard BotellaArnaud GotliebClaude MichelMichel RueherPatrick TaillibertUtilisation des contraintes pour la génération automatique de cas de test structurels.Tech. Sci. Informatiques2191163-11872002Journal Articlesclosedjournals/tsi/BotellaGMRT02http://tsi.revuesonline.com/article.jsp?articleId=3817https://dblp.org/rec/journals/tsi/BotellaGMRT02URL#6255036Youcef BouchebabaFabien CoelhoPavage pour une séquence de nids de boucles.Tech. Sci. Informatiques215579-6032002Journal Articlesclosedjournals/tsi/BouchebabaC02http://tsi.revuesonline.com/article.jsp?articleId=3841https://dblp.org/rec/journals/tsi/BouchebabaC02URL#6255037Xavier BriffaultZahia GuessoumMichel OccelloEditorial.Tech. Sci. Informatiques214423-4252002Journal Articlesclosedjournals/tsi/BriffaultGO02http://tsi.revuesonline.com/article.jsp?articleId=262https://dblp.org/rec/journals/tsi/BriffaultGO02URL#6255038F. CalvayracY. LabayeJ. GimelUn Beowulf par des physiciens.Tech. Sci. Informatiques21101371-13852002Journal Articlesclosedjournals/tsi/CalvayracLG02http://tsi.revuesonline.com/article.jsp?articleId=3814https://dblp.org/rec/journals/tsi/CalvayracLG02URL#6255039Franck CappelloDaniel EtiembleMPI ou MPI+OpenMP sur grappes de multiprocesseurs?Tech. Sci. Informatiques212253-2722002Journal Articlesclosedjournals/tsi/CappelloE02http://tsi.revuesonline.com/article.jsp?articleId=3912https://dblp.org/rec/journals/tsi/CappelloE02URL#6255040Hugues CasséLouis FéraudChristine RochangePascal SainratUne approche pour réduire la complexité du flot de contrôle dans les programmes C.Tech. Sci. Informatiques2171009-10322002Journal Articlesclosedjournals/tsi/CasseFRS02http://tsi.revuesonline.com/article.jsp?articleId=3831https://dblp.org/rec/journals/tsi/CasseFRS02URL#6255041Maurice ClercL'optimisation par essaim particulaire.Tech. Sci. Informatiques217941-9642002Journal Articlesclosedjournals/tsi/Clerc02http://tsi.revuesonline.com/article.jsp?articleId=3828https://dblp.org/rec/journals/tsi/Clerc02URL#6255042A. DenisCORBA haute performance.Tech. Sci. Informatiques215659-6832002Journal Articlesclosedjournals/tsi/Denis02http://tsi.revuesonline.com/article.jsp?articleId=3844https://dblp.org/rec/journals/tsi/Denis02URL#6255043Bruno DillensegerLaurent HazardAnne-Marie TagantT. HuanLes agents mobiles réactifs Mooréa. Une approche réactive pour la transparence à la mobilité et le passage à l'échelle.Tech. Sci. Informatiques216851-8762002Journal Articlesclosedjournals/tsi/DillensegerHTH02http://tsi.revuesonline.com/article.jsp?articleId=3837https://dblp.org/rec/journals/tsi/DillensegerHTH02URL#6255044I. DjelicElimination de redondances pour architectures EPIC.Tech. Sci. Informatiques212163-1812002Journal Articlesclosedjournals/tsi/Djelic02http://tsi.revuesonline.com/article.jsp?articleId=3909https://dblp.org/rec/journals/tsi/Djelic02URL#6255045Roland DucournauSpécialisation et sous-typage : thème et variations.Tech. Sci. Informatiques21101305-13422002Journal Articlesclosedjournals/tsi/Ducournau02http://tsi.revuesonline.com/article.jsp?articleId=3812https://dblp.org/rec/journals/tsi/Ducournau02URL#6255046Michel DupontJean-Marc VuillaumeBernard VictorriPatrice EnjalbertYann MathetNicolas MalandainNouvelles perspectives en extraction d'information.Tech. Sci. Informatiques21137-632002Journal Articlesclosedjournals/tsi/DupontVVEMM0210.3166/TSI.21.37-63https://doi.org/10.3166/tsi.21.37-63https://dblp.org/rec/journals/tsi/DupontVVEMM02URL#6255047Dominique FontaineCouplage entre abstraction temporelle et reconnaissance de scénarios. Application à l'identification d'évolutions.Tech. Sci. Informatiques213375-4042002Journal Articlesclosedjournals/tsi/Fontaine02http://tsi.revuesonline.com/article.jsp?articleId=3850https://dblp.org/rec/journals/tsi/Fontaine02URL#6255048Virginie GaltierUn élément de gestion des réseaux actifs. Estimer les besoins en ressources de calcul.Tech. Sci. Informatiques216899-9232002Journal Articlesclosedjournals/tsi/Galtier02http://tsi.revuesonline.com/article.jsp?articleId=3839https://dblp.org/rec/journals/tsi/Galtier02URL#6255049Gilles GrimaudSébastien JeanCode mobile et carte à puce.Tech. Sci. Informatiques216797-8222002Journal Articlesclosedjournals/tsi/GrimaudJ02http://tsi.revuesonline.com/article.jsp?articleId=3835https://dblp.org/rec/journals/tsi/GrimaudJ02URL#6255050Daniel HagimontNabil LayaïdaAdaptation d'une application multimédia par un code mobile.Tech. Sci. Informatiques216877-8972002Journal Articlesclosedjournals/tsi/HagimontL02http://tsi.revuesonline.com/article.jsp?articleId=3838https://dblp.org/rec/journals/tsi/HagimontL02URL#6255051Fabrice HarrouetJacques TisseauPatrick ReignierPierre ChevaillieroRis : un environnement de simulation interactive multi-agents.Tech. Sci. Informatiques214499-5242002Journal Articlesclosedjournals/tsi/HarrouetTRC02http://tsi.revuesonline.com/article.jsp?articleId=266https://dblp.org/rec/journals/tsi/HarrouetTRC02URL#6255052Thierry JéronTGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs.Tech. Sci. Informatiques2191265-12942002Journal Articlesclosedjournals/tsi/Jeron02http://tsi.revuesonline.com/article.jsp?articleId=3820https://dblp.org/rec/journals/tsi/Jeron02URL#6255053Jean-Luc KoningDes règles d'interaction comme modèle de contrôle en univers multi-agent.Tech. Sci. Informatiques214561-5632002Journal Articlesclosedjournals/tsi/Koning02http://tsi.revuesonline.com/article.jsp?articleId=270https://dblp.org/rec/journals/tsi/Koning02URL#6255054