Sciweavers

5251 search results - page 758 / 1051
» A Framework for Ontology Integration
Sort
View
FASE
2004
Springer
15 years 11 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
FTDCS
2004
IEEE
15 years 11 months ago
Introducing Compositionality in Web Service Descriptions
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
Monika Solanki, Antonio Cau, Hussein Zedan
DAGM
2006
Springer
15 years 11 months ago
Using Irreducible Group Representations for Invariant 3D Shape Description
Invariant feature representations for 3D objects are one of the basic needs in 3D object retrieval and classification. One tool to obtain rotation invariance are Spherical Harmonic...
Marco Reisert, Hans Burkhardt
EMISA
2006
Springer
15 years 11 months ago
Implementing a Service-Oriented Architecture for Small and Medium Organisations
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...
Pascal Bauler, Fernand Feltz, Nicolas Biri, Philip...
FPL
2006
Springer
158views Hardware» more  FPL 2006»
15 years 11 months ago
Placing Functionality in Fault-Tolerant Hardware/Software Reconfigurable Networks
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
Thilo Streichert