APAL
2010
13 years 5 months ago
2010
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...
APAL
2010
13 years 5 months ago
2010
AIM
2010
13 years 5 months ago
2010
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...
AIM
2010
13 years 5 months ago
2010
AIM
2010
13 years 5 months ago
2010
AIM
2010
13 years 5 months ago
2010
IESA
2009
13 years 5 months ago
2009
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
IESA
2009
13 years 5 months ago
2009
Organisational interoperability requires a matching of goals and provided and required services between interacting organizations. It is being shown that the recent OMG standards ...
IESA
2009
2009
Designing and Managing Organizational Interoperability with Organizational Capabilities and Roadmaps
13 years 5 months ago
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...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
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)...