Halfeld Ferrari Alves, Mírian 1962-...
VIAF ID: 208232359 ( Personal )
Permalink: http://viaf.org/viaf/208232359
Preferred Forms
4xx's: Alternate Name Forms (8)
5xx's: Related Names (2)
- 511 2 _ ‡a Laboratoire d'informatique fondamentale d'Orléans (Orléans)
- 511 2 _ ‡a Université d'Orléans (1966-....)
Works
Title | Sources |
---|---|
Alternating fixpoint and extended datalog-neg databases | |
Améliorations de requêtes de chemin dans les graphes : expression, évaluation et satisfiabilité de coût minimal. | |
Analyse statique pour l'optimisation des mises à jour de documents XML temporels | |
Comparison and evolution of XML schema. | |
Composition de services web avec PEWS : approche par la théorie des traces. | |
The CUBE : a user-centric system-model architecture for web service migration through multiple devices | |
Design and Exploitation of a Models Database : Applied to Data Sciences. | |
Design of privacy preserving cryptographic protocols for mobile contactless services. | |
Exploring Topic Evolution in Large Scientific Archives with Pivot Graphs | |
Improvements on graph path queries : expression, evaluation, and minimum-weight satisfiability | |
Incremental validation of integrity constraints in XML. | |
L'interrogation du web de données garantissant des réponses valides par rapport à des critères donnés | |
Maintenance incrémentale des contraintes d'intégrité en XML | |
Une Méthode de correction de la structure de documents XML dans le cadre d'une validation incrémentale | |
Une méthode pour l'évolution de schémas XML préservant la validité des documents | |
Modèles de conception pour des applications collaboratives dans le cloud | |
Parallèlisme des calculs numériques appliqué aux géosciences | |
Passive and active rules in deductive databases | |
Querying the Web of Data guaranteeing valid answers with respect to given criteria. | |
Raisonner en Logiques de Description Augmentées avec la Sémantique Rafraichissante. | |
Reasoning in Descriptions Logics Augmented with Refreshing Variables | |
Règles pour les mises a jour des bases de données déductives | |
The Role of Ontologies and Context in Designing Data Storage Systems. | |
Scalable Saturation of Streaming RDF Triples | |
Static analysis for optimizing the update of large temporal XML documents. | |
Update-driven rules in datalog[superscript neg] databases | |
Update rules and revision programs | |
Utilisation conjointe des ontologies et du contexte pour la conception des systèmes de stockage de données |