Sciweavers

1418 search results - page 136 / 284
» Schema polynomials and applications
Sort
View
ECOWS
2006
Springer
15 years 10 months ago
Verifying Correctness of Web Services Choreography
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
Tarek Melliti, Céline Boutrous-Saab, Sylvai...
WSC
2007
15 years 8 months ago
Automatic generation of simulation models for semiconductor manufacturing
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
Ralph Mueller, Christos Alexopoulos, Leon F. McGin...
ERCIMDL
2008
Springer
101views Education» more  ERCIMDL 2008»
15 years 8 months ago
Semantic Interoperability in Archaeological Datasets: Data Mapping and Extraction Via the CIDOC CRM
Findings from a data mapping and extraction exercise undertaken as part of the STAR project are described and related to recent work in the area. The exercise was undertaken in con...
Ceri Binding, Keith May, Douglas Tudhope
IICAI
2007
15 years 7 months ago
Hierarchical Course Knowledge Representation using Ontologies
In this paper we present a method to represent knowledge associated with a course. Course knowledge can be represented in the form of hierarchical prerequisite relation based weigh...
Javed I. Khan, Manas Hardas
APCCM
2006
15 years 7 months ago
The formal semantics of the timeER model
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
Heidi Gregersen