3429 search results - page 118 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
DOCENG
2004
ACM
14 years 2 months ago
2004
ACM
Enabling an intelligent access to multimedia data requires a powerful description language. In this paper, we demonstrate why the MPEG-7 standard fails to fulfill this task. We i...
LOPSTR
1994
Springer
14 years 1 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
CSSE
2008
IEEE
14 years 3 months ago
2008
IEEE
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...
IS
2006
13 years 9 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
CCGRID
2006
IEEE
14 years 26 days ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...