-
Etude et Réalisation d'un Système d'Aide à la Mise au Point en Programmation ...
L'apparition d'interprètes sur de gros systèmes, tels Prolog-Dec10, puis des premiers compilateurs Prolog basés sur le fonctionnement de la machine virtuelle de Warren... -
Une nouvelle approche pour la détection et la résolution de conflits de sécur...
Cet article propose un nouveau modèle de contrôle d'accès pour les applications complexes, hétérogènes, interopérables et distribuées. Ce modèle « 3Or-BAC » (pour... -
Methodology for the extraction and the analysis of gene regulation networks :...
The cellular response to the DNA damage provoked by irradiation (IR) is relatively well studied, however, many observations show the involvement of the expression of... -
Study of the Compilation of Contraint Logic Programming Languages over Finite...
This work focuses on the compilation of languages constraint logic programming over finite domains (DF) . Rather than taking the usual approach considering the... -
Construction et vérification de spécifications d'Interfaces Homme-Machine
Ingénieur CNAM. Rapport de stage.
