Sciweavers

4187 search results - page 715 / 838
» A Taxonomy of Model Transformation
Sort
View
108
Voted
ECAL
2007
Springer
15 years 8 months ago
Building Virtual Ecosystems from Artificial Chemistry
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
Alan Dorin, Kevin B. Korb
108
Voted
ER
2007
Springer
95views Database» more  ER 2007»
15 years 8 months ago
Providing Semantically Equivalent, Complete Views for Multilingual Access to Integrated Data
Today, there are several approaches supporting an integrated processing of XML and (object-)relational data sources. However, each of these approaches favors a single data model f...
Iryna Kozlova, Norbert Ritter, Martin Husemann
FROCOS
2007
Springer
15 years 8 months ago
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
Beatriz Alarcón, Salvador Lucas
107
Voted
FROCOS
2007
Springer
15 years 8 months ago
Languages Modulo Normalization
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
Hitoshi Ohsaki, Hiroyuki Seki
127
Voted
LCPC
2007
Springer
15 years 8 months ago
Multidimensional Blocking in UPC
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
Christopher Barton, Calin Cascaval, George Alm&aac...