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...

Dans La Bataille de Pharsale, Claude Simon cite à quatre reprises en traduction française un segment des vers 471-473 du chant vii la Pharsale Lucain dont paraphrase serait « pire que mort, le sentiment ta mort ». Le but l’article est comprendre l’attirance pour ces vers. On étudiera les variantes citation dans traduction, contexte et l’enchaînement phrases. Il semble bien l’auteur prenne ses d...

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...

Health problems linked to urban growth are current major concerns of developing countries. In 2002 and 2005, an interdisciplinary program “Populations et Espaces à Risques SANitaires” (PERSAN) was set up under the patronage of the Development and Research Institute. Centered on health in Cameroon’s urban environment, the program mainly sought to (i) identify diarrhoea risk factors in Yaoundé, (...

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...