-
Formal approaches to information hiding : An analysis of interactive systems,...
In this thesis we consider the problem of information hiding in the scenarios of interactive systems, statistical disclosure control, and refinement of specifications.... -
Integrating Natural Semantics and Attribute Grammars : the Minotaur System
This paper describes the principles and the functionalities of the Minotaur system. Minotaur is a generic interactive environment based on the integration of the... -
Formalisation, acquisition and implementation of specifications knowledge for...
This PhD thesis deals with topographic databases integration. This process aims at facilitating the use of several heterogeneous databases by making the relationships... -
Methodology for assessing consistency between multiple representations for sp...
Nowadays most databases are run independently. An independence that leads to a series of<br />problems: repeated efforts of maintenance and updating, difficulty... -
Comparison of local indices for regional frequency analysis with an applicati...
International audience -
D6.2 Requirement specifications for an integrated maintenance platform
Rapport de contrat.
