Sciweavers

3706 search results - page 124 / 742
» The Transformational Approach to Program Development
Sort
View
BPM
2008
Springer
158views Business» more  BPM 2008»
14 years 12 months ago
Towards Transformations from BPMN to Heterogeneous Systems
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
Tobias Küster, Axel Heßler
ICLP
2007
Springer
15 years 4 months ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens
GG
2004
Springer
15 years 3 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
ACISICIS
2005
IEEE
14 years 12 months ago
Equivalence of Transforming Non-Linear DACG to Linear Concept Tree
This paper introduces a strategy and its theory proof to transform non-linear concept graph: Directed Acyclic Concept Graph (DACG) into a linear concept tree. The transformation i...
Wenyi Bi, Junping Sun
SSIAI
2000
IEEE
15 years 2 months ago
Multi-Level Shape Recognition Based on Wavelet-Transform Modulus Maxima
In this paper we propose a new approach to shape recognition based on the wavelet transform modulus maxima. And apply it to the problem of content-based indexing and retrieval of ...
Faouzi Alaya Cheikh, Azhar Quddus, Moncef Gabbouj