De nombreux jeux impliquant deux joueurs dans un graphe ont été étudiés en théorie des graphes : Gendarmes et voleur, Ange et Démon, Observeur et surfeur, Dominants universels, etc. Outre la capture d’un fugitif ou la lutte contre le feu, ces jeux ont aussi des applications dans les réseaux de télécommunications car, d’une part, ils permettent de mieux appréhender les structures des réseaux, et...

The efficient design of computation intensive multidimensional signal processing application requires to deal with three kinds of constraints: those implied by the data dependencies, the non functional requirements (real-time, power consumption) and the availability of resources of the execution platform. We propose here a strategy to use a refactoring tool dedicated to this kind of application...

Sous Windows, les outils de benchmarking des Entrées/Sorties (E/S) existants ne suffisent pas pour permettre à un développeur de définir efficacement sa stratégie d'accès aux fichiers d'après un ensemble de contraintes d'application. Ceci est essentiellement dû au fait que ces outils ne permettent de tester qu'un ensemble réduit de charges d'E/S qui ne correspondent généralement pas à ceux de l...

In recent digital library systems or World Wide Web environment, parallel corpora are used by many applications (Natural Language Processing, machine translation, terminology extraction, etc.). This paper presents a new cross-language information retrieval model based on the language modeling. The model avoids query and/or document translation or the use of external resources. It proposes a str...

Résumé D. C. Hindson — Urbanisation et contrôle de l'immigration : de l'apartheid territorial à l'organisation régionale de l'espace en Afrique du Sud. Examen critique de la stratégie d' « urbanisation dans l'ordre » recommandée par le rapport de la commission présidentielle sur « Une stratégie d'urbanisation pour la république d'Afrique du Sud », publié en septembre 1985. L'article, écrit en n...

RÉSUMÉ. Le projet EDEMOI 1 a pour but la modélisation de la sécurité des aéroports. Son approche passe par la production de modèles graphiques (un ensemble de diagrammes UML) destinés à être validés par les experts du domaine, et de modèles formels destinés à être vérifiés. Pour assurer la correspondance entre ce qui est validé et ce qui est vérifié, il faut établir un lien fort entre ces deux ...

Introduction: L'article a pour objectif de valider la traduction en dialecte arabe Marocain, de l'échelle du stress perçu « Perceived Stress Scale » chez un large échantillon de la population marocaine. Méthodes: Une méthode de traduction et contre traduction en dialecte Marocain a été réalisée pour l'échelle « Perceived Stress Scale » à 10 items. Une étude de type transversale, a été menée par...

Les contraintes d’architecture sont des spécifications définies par les développeurs dans la phase de conception, qui permettent de vérifier, après une évolution de l’architecture, si sa description est encore conforme aux conditions imposées par un patron ou un style architectural. Ces spécifications peuvent être exprimées avec un langage standardisé comme OCL (Object Constraint Language). Afi...

Nous sommes p a r t i c u l i ~ r e m e n t r e c o n n a i s s a n t s ~ l ' ~ g a r d du p r e m i e r d i r e c t e u r de ce p r o j e t , M. Guy Rondeau, qu i o b t i n t une subven t i o n du C o n s e i l N a t i o n a l de l a Reche rche ( l a q u e l l e e s t r e n o u v e l 6 e ann u e l l e m e n t ) e t e n v e r s l a d i r e c t i o n du p r o j e t C.E.T.A. ~ Grenob le pour a v ...

la censure, considérée comme une stratégie légale par les hommes d’etat d’un grand nombre de pays, s’applique à travers le monde pour contrôler les échanges d’idées afin de sauvegarder les intérêts politique, culturel, éthique,  religieux, … des gouvernements et des citoyens. pour certains, elle date de l’invention de l’imprimerie, mais à en croire les documents existants, elle remonte à l’anti...