This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifie...
The European Conference on Case-Based Reasoning (CBR) in 2008 marked 15 years of international and European CBR conferences where almost seven hundred research papers were publish...
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
Organisational interoperability requires a matching of goals and provided and required services between interacting organizations. It is being shown that the recent OMG standards ...
This paper discusses organizational interoperability issues in through the study of two cases. Then it presents a framework which can help to design and manage this interoperabili...
Philippe Rauffet, Catherine Da Cunha, Alain Bernar...
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...