Sciweavers

1357 search results - page 74 / 272
» Compositionality in Graph Transformation
Sort
View
145
Voted
PODS
2012
ACM
253views Database» more  PODS 2012»
13 years 5 months ago
Local transformations and conjunctive-query equivalence
Over the past several decades, the study of conjunctive queries has occupied a central place in the theory and practice of database systems. In recent years, conjunctive queries h...
Ronald Fagin, Phokion G. Kolaitis
CAISE
2004
Springer
15 years 8 months ago
MT-Flow - An Environment for Workflow-Supported Model Transformations in MDA
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
Jernej Kovse, Theo Härder
LICS
1997
IEEE
15 years 7 months ago
Semantics of Exact Real Arithmetic
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
Peter John Potts, Abbas Edalat, Martín H&ou...
ICWE
2007
Springer
15 years 9 months ago
Model Transformation for Service-Oriented Web Applications Development
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
Valeria de Castro, Juan M. Vara, Esperanza Marcos
ICSOC
2007
Springer
15 years 9 months ago
Service License Composition and Compatibility Analysis
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...
G. R. Gangadharan, Michael Weiss, Vincenzo D'Andre...