Sciweavers

3387 search results - page 397 / 678
» Automating the Metamodeling Process
Sort
View
RR
2007
Springer
16 years 22 days ago
Expressive Reasoning with Horn Rules and Fuzzy Description Logics
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...
Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. S...
SEKE
2007
Springer
16 years 22 days ago
Smooth Quality Oriented Component Integration through Product Line Based Aspect-Oriented Component Adaptation
Mismatches in QoS (Quality of Service) often appears as a major but implicit hurdle to smooth component integration. This paper presents a solution to the above problem through pr...
Yankui Feng, Xiaodong Liu, Jon M. Kerridge
SEMWEB
2007
Springer
16 years 22 days ago
A Cognitive Support Framework for Ontology Mapping
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
Sean M. Falconer, Margaret-Anne D. Storey
SOCASE
2007
Springer
16 years 22 days ago
Executing Semantic Web Services with a Context-Aware Service Execution Agent
The need to add semantic information to web-accessible services has created a growing research activity in this area. Standard initiatives such as OWL-S and WSDL enable the automat...
António Lopes, Luís Miguel Botelho
SSS
2007
Springer
117views Control Systems» more  SSS 2007»
16 years 22 days ago
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abu...