Sciweavers

18924 search results - page 58 / 3785
» Conformance of Distributed Systems
Sort
View
131
Voted
SEMWEB
2007
Springer
15 years 8 months ago
An Event-Based Approach for Semantic Metadata Interoperability
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
Tuukka Ruotsalo, Eero Hyvönen
117
Voted
WEBI
2005
Springer
15 years 8 months ago
The WebCAT Framework - Automatic Generation of Meta-Data for Web Resources
Automated methods for resource annotation are a clear necessity, as the success of the Semantic Web depends on the availability of Web resources with meta-data conforming to known...
Bruno Martins, Mário J. Silva
CP
2007
Springer
15 years 6 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
102
Voted
IADIS
2004
15 years 4 months ago
IDUX: Internationalization of Data Using XML
Interest is rapidly growing in internationalized software that can be localized to various languages. This paper describes IDUX, an XML-based system designed to support the proces...
Darcy G. Benoit, Tomasz Müldner
127
Voted
PTS
2004
94views Hardware» more  PTS 2004»
15 years 3 months ago
FSM Based Interoperability Testing Methods for Multi Stimuli Model
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna,...