Convergence rates and related Central Limit theorems have been the subject of numerous papers. In 1] a systematic link was rst established between 1/ system identiication, and 2/ model validation or testing for small changes. Similarities and relations are discussed in 2], part I, chap 5, and this so-called local approach has proved very successful in practical applications. In this paper, we r...

RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou d...

Résumé. L’interrogation de bases de données, dont les dimensions ne cessent de croître, se heurte fréquemment au problème de la gestion des réponses pléthoriques. Une des approches envisageables pour réduire l’ensemble des résultats retournés et le rendre exploitable est de contraindre la requête initiale par l’ajout de nouvelles conditions. L’approche présentée dans cet article s’appuie sur l’...

We report on a pilot project to evaluate the usability of the VRLibrary, a desktop virtual reality library containing links to websites, depicted as books. While lack of instructions may have prevented the participants in the pilot study from completing the experimental tasks efficiently, they endorsed enthusiastically the VRLibrary. Résumé : Nous présentons un projet préliminaire conçu pour év...

This document describes the Optimized Link State Routing (OLSR) protocol for mobile ad hoc networks. The protocol is an optimization of the classical link state algorithm tailored to the requirements of a mobile wireless LAN. The key concept used in the protocol is that of multipoint relays (MPRs). MPRs are selected nodes which forward broadcast messages during the ooding process. This techniqu...