RÉSUMÉ. Les réseaux de Petri sont une classe bien étudiée de modèles propres à représenter les comportements de systèmes informatiques concurrents. Dans ce cadre, le problème de couverture (étant donné un marquage m, existe-t-il un marquage accessible qui assigne à chaque place du réseau au moins autant de jetons que m ?) est de tout premier intérêt, car de nombreuses propriétés de sûreté (tout...

RÉSUMÉ. La carte à puce est aujourd'hui l'objet portable sécurisé le plus répandu. Il y a 4 ans, nous avons jeté les bases d’une étude portant sur l'embarquement de techniques bases de données dans une carte à puce. Cette étude a conduit à la définition de principes de conception pour ce que nous avons appelé alors PicoDBMS, un système de gestion de bases de données (SGBD) complet intégré dans ...

RÉSUMÉ Nous proposons d’exploiter des méthodes du Traitement Automatique de Langues dédiées à la structuration de terminologie indépendamment dans deux langues (anglais et français) et de fusionner ensuite les résultats obtenus dans chaque langue. Les termes sont groupés en clusters grâce aux relations générées. L’évaluation de ces relations est effectuée au travers de la comparaison des cluste...

This is an index of the main acronyms and abreviations used in this issue concerning standardsof character coding in general and more precisely Unicode. Nous présentons ici une liste des sigles, abréviations, acronymes, etc. parmi les plus usités dans les divers articles de ce numéro spécial qui souvent n'y sont pas définis ni explicités. Chaque sigle (abréviation, etc.) est d'abord suivi, entr...

Cet article présente une de nos observations préliminaires sur la phraséologie dans le discours scientifique oral en français, notamment relation avec thème des « savoirs ». Malgré un intérêt pour domaine, registre du français reste relativement peu découvert. Dans cette étude, nous avançons l’hypothèse que particularité l’environnement discursif influence manière dont les locuteurs co-construi...

RÉSUMÉ Cet article décrit l’utilisation de la technique de similarité de second ordre pour l’identification de textes semblables au sein d’une base de rapports d’incidents aéronautiques mélangeant les langues française et anglaise. L’objectif du système est, pour un document donné, de retrouver des documents au contenu similaire quelle que soit leur langue. Nous utilisons un corpus bilingue ali...

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion de documents scientifiques de niveau r...