Learn 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)
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)
Matrix exponential (ME) distributions with low squared coefficient of variation (scv) are such that the density function becomes zero at some points in) (0, ∞. For such distributions there is no equivalent finite dimensional PH representation, which inhibits the application of existing methodologies for the numerical analysis of stochastic Petri nets (SPNs)(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)