3921 search results - page 563 / 785 » Transforming Models with ATL |
151
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 5 months ago
2007
An integrated management of business processes demands a strictly process-oriented development of the supporting IT. Process-orientation is especially promoted by Service-Oriented...
142
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
118
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
143
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
151
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
An auditory-based feature extraction algorithm is presented. The feature is based on a recently published time-frequency transform plus a set of modules to simulate the signal pro...