Bouziane, Hinde Lilia, 1977-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 203996922 (Personal)
Permalink: http://viaf.org/viaf/203996922
Preferred Forms
Works
| Title | Sources |
|---|---|
| Conception d'un prouveur automatique de théorèmes concurrent basé sur la méthode des tableaux pour la logique du premier ordre. |
|
| Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic |
|
| Enabling transparent data sharing in component models |
|
| Extension aux modèles de composants : partage transparent de données, français |
|
| From monolithic architectural style to microservice one : structure-based and task-based approaches |
|
| De l'abstraction des modèles de composants logiciels pour la programmation d'applications scientifiques distribuées |
|
| Préservation de la confidentialité des données externalisées dans le traitement des requêtes top-k |
|
| Privacy preserving top-k query processing over outsourced data. |
|
| Ré-ingénierie des applications à objets pour une amélioration de leurs attributs de qualité. |
|
| Reengineering Object Oriented Software Systems for a better Maintainability |
|
