-
Web service composition as a composition of valid and robust semantic links
International audience -
Next-Generation Model-based Variability Management: Languages and Tools
International audience -
Web Service Composition : Semantic Links based Approach
Automated composition of Web services or the process of forming new value added Web services is one of the most promising challenges facing the Semantic Web today.... -
Automated reasoning techniques as proof-search in sequent calculus
Version of thesis at time of defense. -
Vérification Observationnelle
Stage de DEA. Rapport de stage. -
Computer Mathematics - Proceedings of the Fourth Asian Symposium - ASCM'2000
Ouvrage (éditeur). -
Automated Reasoning
Congrès (éditeur). nationale.
