Cet article est extrait d'une d elivrable 4] du projet ESPRIT DiSCiPl (LTR, #22532, http://discipl.inria.fr/). Il montre les bases th eoriques des techniques que nous utiliserons, dans le cadre de ce projet, pour l'implantation des outils de diagnostic d eclaratif d'erreurs pour les programmes logiques avec contraintes. Il commence par une reformulation de la s emantique des programmes en terme...

Les algorithmes de routage compact ont pour objectif de trouver le meilleur compromis entre le nombre de bit mémoire nécessaire pour stocker les entrées des tables de routage et le coût des chemins de routage que ces algorithmes produisent. Dans cet article, nous présentons un algorithme de routage compact permettant la construction dynamique de chemins de routage point-à-multipoint pour la dis...

RÉSUMÉ. Alors que le nombre d’équipements à superviser ne cesse de croître, le passage à l’échelle de la supervision des réseaux et services est un véritable enjeu. Un tel challenge semble avoir été par le passé surmonté par les botnets connus actuellement pour être une des principales menaces sur internet car un attaquant peut contrôler des milliers de machines. D’un point de vue technique, il...

RÉSUMÉ. Les approches à base de modèles se développent fortement pour la conception d’applications interactives. Les modèles sont alors utilisés pour représenter les points de vue des différents intervenants (dont l’utilisateur). Cet article présente une approche qui peut s’appliquer à chaque itération de conception. Elle vise à vérifier la cohérence de coconception des modèles de tâches (repré...

Different symmetry formalisms for difference equations on lattices are reviewed and applied to perform symmetry reduction for both linear and nonlinear partial difference equations. Both Lie point symmetries and generalized symmetries are considered and applied to the discrete heat equation and to the integrable discrete time Toda lattice. Résumé Deux formalismes différents pour étudier les sym...

La planification de réseaux radio pour la téléphonie mobile en milieu urbain est une nécessite de gros calculs, qu'il est préférable d'exécuter sur plusieurs processeurs en parallèle. D'une part, il faut simuler la propagation des ondes radio afin de pr dire les zones qui peuvent être couvertes. Le programme ParFlow++ a été développé dans ce but. D'autre part, il faut choisir l'ensemble d'anten...

RÉSUMÉ. Pour évaluer les systèmes pair à pair, il est nécessaire de comprendre les influences qui s’exercent sur eux. Dans cet article nous avons étudié certaines de ces influences d’un point de vue client contrairement au point de vue serveur usuel. Une caractérisation d’un certain nombre de ces facteurs influents tels que l’activité des utilisateurs ou la présence de différents types de fichi...

— The solutions offixed-point équations for generalized (infinité) mords have previously been obtained asfrontiers of infinité trees. An algorithm is given which computes an explicit solution using a shuffle opération on words. This solution can be proven equal to the previous one so that the structure of the frontier s of infinité trees is completely analyzedfor those context-free grammars whi...

RÉSUMÉ Le TAL est tenu pour une activité pratique hétérogène susceptible d’associer dans un même système des méthodes et des théories linguistiques ou philosophiques parfois contradictoires. Dans mon exposé, je vais tâcher d’expliciter cette tension en m’appuyant sur une étude de tout premiers systèmes de TAL, modèles de traduction automatique et d’extraction d’information, mis au point dans le...