The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems, p.11, 2011. ,
DOI : 10.1007/978-3-642-25821-3_21
URL : https://hal.archives-ouvertes.fr/inria-00629059
The Description Logic Handbook, 2003. ,
DOI : 10.1017/CBO9780511711787
Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, 1976. ,
DOI : 10.1145/360248.360251
Keynote address -data abstraction and hierarchy. In: Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum) OOPSLA '87, pp.17-34, 1987. ,
Formal Methods @ Runtime, In: Monterey Workshop, pp.122-135, 2010. ,
DOI : 10.1007/978-3-642-21292-5_7
Toward open-world software: Issue and challenges, Computer, 2006. ,
Thumbs up? Sentiment classification using machine learning techniques, Proceedings of the 2002 Conference on Empirical Methods in Natural Language Processing, pp.79-86, 2002. ,
A vector space model for automatic indexing, Communications of the ACM, vol.18, issue.11, 1974. ,
DOI : 10.1145/361219.361220
Complex Linguistic Features for Text Classification: A Comprehensive Study, Proceedings of the 26th European Conference on Information Retrieval Research, pp.181-196, 2004. ,
DOI : 10.1007/978-3-540-24752-4_14
Kernel methods, syntax and semantics for relational text categorization, Proceeding of the 17th ACM conference on Information and knowledge mining, CIKM '08, 2008. ,
DOI : 10.1145/1458082.1458118
Liblinear: A library for large linear classification, Journal of Machine Learning Research, vol.9, pp.1871-1874, 2008. ,
A WSMO-Based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment, In: KSEM, pp.617-622, 2007. ,
DOI : 10.1007/978-3-540-76719-0_68
ERGOT: A Semantic-Based System for Service Discovery in Distributed Infrastructures, 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, pp.263-272, 2010. ,
DOI : 10.1109/CCGRID.2010.24
METEOR-S Web Service Annotation Framework with Machine Learning Classification, In: SWSWPC, pp.137-146, 2004. ,
DOI : 10.1007/978-3-540-30581-1_12
SAWSDL-MX2: A Machine-Learning Approach for Integrating Semantic Web Service Matchmaking Variants, 2009 IEEE International Conference on Web Services, pp.335-342, 2009. ,
DOI : 10.1109/ICWS.2009.76
Supervisory control of timed discrete-event systems, IEEE Transactions on Automatic Control, vol.39, issue.2, 1994. ,
Supervisory control of a class of discrete event processes, Siam J. Control and Optimization, vol.25, issue.1, 1987. ,
A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, p.74, 2005. ,
DOI : 10.1016/j.jss.2003.05.007
Formal methods for protocol conversion, IEEE Journal on Selected Areas in Communications, vol.8, issue.1, pp.127-142, 1990. ,
DOI : 10.1109/49.46852
Correction to 'Protocol conversion', IEEE Transactions on Software Engineering, vol.14, issue.9, p.1376, 1988. ,
DOI : 10.1109/32.6181
A formal protocol conversion method, In: SIGCOMM, pp.30-37, 1986. ,
Convertibility verification and converter synthesis, Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design , ICCAD '02, pp.132-139, 2002. ,
DOI : 10.1145/774572.774592
Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, 1997. ,
DOI : 10.1145/244795.244801
WSMX Process Mediation Based on Choreographies, Business Process Management Workshops, pp.130-143, 2005. ,
DOI : 10.1007/11678564_12
An Agent for Asymmetric Process Mediation in Open Environments, Lecture Notes in Computer Science, vol.5006, pp.104-117, 2008. ,
DOI : 10.1007/978-3-540-79968-9_9
Semiautomated adaptation of service interactions, WWW '07: Proceedings of the 16th international conference on World Wide Web, pp.993-1002, 2007. ,
Protocol Mediation for Adaptation in Semantic Web Services, In: ESWC, pp.635-649, 2006. ,
DOI : 10.1007/11762256_46
Protocol-aware matching of web service interfaces for adapter development, Proceedings of the 19th international conference on World wide web. WWW '10, pp.731-740, 2010. ,
Interoperability Among Independently Evolving Web Services, Proc. ACM/IFIP/USENIX Middleware Conference, pp.331-351, 2004. ,
DOI : 10.1007/BFb0053382
Ensuring interoperable service-oriented systems through engineered self-healing, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009. ,
DOI : 10.1145/1595696.1595734
An Automatic Approach to Enable Replacement of Conversational Services, 2009. ,
DOI : 10.1007/978-3-642-10383-4_11
Learning to attach semantic metadata to web services, In: International Semantic Web Conference, pp.258-273, 2003. ,