Biblio

Export 66 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is D  [Clear All Filters]
0
M. Bienvenu, Lutz, C., and Wolter, F., Deciding FO-Rewritability in EL, in Proc. of International Workshop on Description Logics (DL), Italie.
M. Bienvenu, Deutch, D., and Abiteboul, S., Deduction in the Presence of Distribution and Contradictions, in Proc. of International Workshop on the Web and Databases (WebDB).
2008
L. Ye and Dague, P., Decentralized Diagnosis for BPEL Web Services, in Proc. of International Conference on Web Information Systems and Technologies (WEBIST), 2008, pp. 283-287.
V. Armant, Dague, P., and Simon, L., Diagnostic Distribué à base de modèles sans calcul préalable des conflits, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), 2008, pp. 41–48.
V. Armant, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis, in Proc. of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Doha, Qatar, 2008.
V. Armant, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis without Conflicts, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
S. Abiteboul, Marinoiu, B., and Bourhis, P., Distributed Monitoring of Peer to Peer Systems (demonstration), in Proc. of International Conference on Data Engineering (ICDE), 2008.
2009
T. Sugibuchi, Spyratos, N., and Simonenko, E., Data Analysis Based on Visual Interaction, in The 2nd Intl. Symposium on Global COE Program of Centre for Next- Generation Information Technology Based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2009), January 20-21, 2009, Sapporo, Japan, 2009.
C. Reynaud, Pernelle, N., Rousset, M. - C., Safar, B., and Sais, F., Data Extraction, Transformation and Integration Guided by an Ontology, in Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction, Advances in Data Warehousing and Mining Book Series, L. Bellatreche, Ed. IGI Global, 2009.
Y. Li, Melliti, T., Ye, L., and Dague, P., A decentralized model-based diagnosis for BPEL services, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
D. Colazzo and Sartiani, C., Detection of corrupted schema mappings in XML data integration systems, ACM Trans. Internet Techn., vol. 9, 2009.
G. Bourgne, Dague, P., Nouioua, F., and Rapin, N., Diagnosability of Input Output Symbolic Transition Systems, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), 2009.
L. Ye and Dague, P., Diagnosability of patterns in distributed discrete event systems, in Proc. of IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS), 2009.
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verification with Petri net unfoldings, Rapport de recherche LRI, vol. 1516, 2009.
F. Nouioua and Dague, P., Diagnosticabilité des systèmes à événements discrets, Rapport de recherche LRI, vol. 1517, 2009.
L. Ye, Dague, P., and Yan, Y., A distributed approach for pattern diagnosability, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
N. Abdallah, Goasdoué, F., and Rousset, M. - C., DL-LITER in the Light of Propositional Logic for Decentralized Data Management, in Proc. of International Joint Conference on Artificial Intelligence (IJCAI), 2009, pp. 2010-2015.
2010
C. Meghini, Spyratos, N., and Yang, J., A data model for digital libraries, International Journal on Digital Libraries, vol. 11, pp. 41-56, 2010.
F. - E. Calvier, Découverte de mappings dans un système pair-à-pair sémantique : application à SomeRDFS, Université Paris Sud, 2010.
N. Bidoit, Colazzo, D., and Ulliana, F., Detecting XML query-update independence, in Journés Bases de Donnés Avancées (BDA), 2010.
L. Ye and Dague, P., Diagnosability Analysis of Discrete Event Systems with Autonomous Components, in Proc. of European Conference on Artificial Intelligence (ECAI), Lisbonne Portugal, 2010.
Y. Yan, Ye, L., and Dague, P., Diagnosability for Patterns in Distributed Discrete Event Systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verication with Petri net unfoldings, International Journal of Knowledge-Based and Intelligent Engineering Systems (KES), vol. 14(2), pp. 49-55, 2010.
Y. Li, Diagnosis of Large Software Systems Based on Colored Petri Nets, Université Paris Sud, 2010.
D. Colazzo, Guerrini, G., Mesiti, M., Oliboni, B., and Waller, E., Document and Schema XML Updates, in Advanced Applications and Structures in XML Processing: Label Streams, Semantics Utilization and Data Query Technologies, C. Li and Ling, T. Wang, Eds. IGI Global, 2010.

Pages