We address the question of typing noninterference (NI) in Milner’s Calculus of Communicating Systems (CCS), in such a way that Milner’s translation of a standard parallel imperative language into CCS preserves both an existing NI property and the associated type system. Recently, Focardi, Rossi and Sabelfeld have shown that a variant of Milner’s translation, restricted to the sequential fragmen...

RÉSUMÉ. Ce travail se situe à la croisée de trois grands domaines : l’informatique éducative, la didactique de la littérature et la lecture. L’informatique, et en particulier la technologie de l’hypertexte, permettent désormais, au travers de dispositifs de lecture électronique, d’appréhender les textes dans leur épaisseur intra, extra et intertextuelle. Après les théories de la réception, ces ...

Entre 1890 et 1910, on assiste à l’émergence d’œuvres romanesques qui se donnent spécifiquement pour objectif la lutte contre les maladies vénériennes en général syphilis particulier. Le présent article propose une première interprétation de ce corpus peu étudié ne peut être compris dehors sa double identité médicale littéraire. Quelles sont caractéristiques structurantes ? Comment, tant que ré...

Le programme d'analyse~ dont nous allons d~finir ici une partie, fait partie d'un programme de traduction automatique de l'allemand en d'autres langues choisies ~ volont~. Nous prendrons pour base une forme du programme id~alis~e, qui sans consideration de la capacit~'limit~e de l'ordinateur explique toutes les differences des constructions allemandes entre elles. De cette mani~re on dolt regar...

RÉSUMÉ. Nous présenterons le développement de modèles probabilistes de langues naturelles que nous avons effectué dans un cadre orienté objets. Nous montrerons comment l’approche orientée objets a permis de factoriser certaines opérations et de faciliter le développement rapide de modèles alternatifs. Nous en illustrerons un résultat pratique d’application dans le cadre de TransType, un système...

Le processus de traduction, qui a été effectué oralement et par écrit pendant des siècles, est un fait complexe tant du point vue la signification l'équivalence formelle qu’au regard d'autres éléments qu’il implique. L'identité traducteur, ses connaissances, son savoir-faire, sa culture d’origine relation avec l'auteur nécessitent également une évaluation plus large l'activité traduction. Des v...

Notre objectif est ici d’évoquer la trajectoire littéraire de Cung Giũ Nguyên à partir du manuscrit mis au net Journal Kauthara. Cette approche génétique permet d’interroger, dans une perspective sociologique, façon dont l’écrivain construit progressivement sa position le champ littéraire, c’est-à-dire stratégie d’élaboration d’un habitus. Après brève présentation biographique, nous aborderons ...