Learn More
Despite the wide range of existing tool support, constructing a design environment for a complex domain-specific language (DSL) is still a tedious task as the large number of derived features and well-formedness constraints complementing the domain metamodel necessitate special handling. Such derived features and constraints are frequently defined by(More)
—The pattern-matching algorithms originally developed for Multi-angle Imaging SpectroRadiometer (MISR) (flying on the Earth Observing System (EOS) Terra platform) cloud retrieval have also proven useful in independently providing quality assurance of the coregistration of multiangle measurements with the nadir view. Two new techniques developed to test the(More)
We investigated the view angle dependence of domain mean Moderate Resolution Imaging Spectroradiometer (MODIS) liquid water path (LWP) and that of corresponding cloud optical thickness, effective radius, and liquid cloud fraction as proxy for plane-parallel retrieval biases. Independent Advanced Microwave Scanning Radiometer–EOS LWP was used to corroborate(More)
Model-driven development tools built on industry standard platforms, such as the Eclipse Modeling Framework (EMF), heavily utilize model queries in model transformation, well-formedness constraint validation and domain-specific model execution. As these queries are executed rather frequently in interactive modeling applications, they have a significant(More)
—Early P2P-TV systems have already attracted millions of users, and many new commercial solutions are entering this market. Little information is however available about how these systems work, due to their closed and proprietary design. In this paper, we present large scale experiments to compare three of the most successful P2P-TV systems, namely PPLive,(More)
In graph transformation, the most cost-intensive phase of a transformation execution is pattern matching, where those subgraphs of a model graph are identified and matched which satisfy constraints prescribed by graph patterns. Incremental pattern matching aims to improve the efficiency of this critical step by storing the set of matches of a graph(More)
Design space exploration (DSE) aims at searching through various models representing different design candidates to support activities like configuration design of critical systems or automated maintenance of IT systems. In model-driven engineering, DSE is applied to find instance models that are (i) reachable from an initial model with a sequence of(More)
In this paper, we consider a large variety of solutions for the generation of Sierpinski triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A Sierpinski triangle shows a well-known fractal structure. This case study is mostly a performance benchmark, involving the construction of all triangles up to a certain number of(More)