Search results: Found 4

Listing 1 - 4 of 4
Sort by
Configurable Software Performance Completions through Higher-Order Model Transformations

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866449909 Year: Volume: 8 Pages: XII, 447 p. DOI: 10.5445/KSP/1000033385 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

Chillies is a novel approach for variable model transformations closing the gap between abstract architecture models, used for performance prediction, and required low-level details. We enable variability of transformations using chain of generators based on the Higher-Order Transformation (HOT). HOTs target different goals, such as template instantiation or transformation composition. In addition, we discuss state-dependent behavior in prediction models and quality of model transformations.

An Access Definition and Query Language : Towards a Unified Access Control Model

Author:
ISBN: 9783731500889 Year: Pages: IX, 216 p. DOI: 10.5445/KSP/1000036121 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

In this work we suggest a meta access control model emulating established access control models by configuration and offering enhanced features like the delegation of rights, ego-centered roles, and decentralized administration. The suggested meta access control model is named ''Access Definition and Query Language'' (ADQL). ADQL is represented by a formal, context-free grammar allowing to express the targeted access control model, policies, facts, and access queries as a formal language.

Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model

Author:
Book Series: Wissenschaftliche Berichte des Instituts für Meteorologie und Klimaforschung des Karlsruher Instituts für Technologie ISSN: 1795619 ISBN: 9783731501725 Year: Volume: 62 Pages: VI, 124 p. DOI: 10.5445/KSP/1000038411 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Physics (General)
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

In this work, various simulation methods of the effective radar reflectivity factor and its attenuation by atmospheric particles from the variables of the COSMO model have been implemented within a so-called radar forward operator, and its output was compared to measurements from the German radar network. To perform a statistically reliable model verification, contoured frequency by altitude diagrams (CFADs) were used and refined.

Efficient Radar Forward Operator for Operational Data Assimilation within the COSMO-model

Author:
Book Series: Wissenschaftliche Berichte des Instituts für Meteorologie und Klimaforschung des Karlsruher Instituts für Technologie ISSN: 01795619 ISBN: 9783731501282 Year: Volume: 60 Pages: XI, 235 p. DOI: 10.5445/KSP/1000036921 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Physics (General)
Added to DOAB on : 2019-07-30 20:02:01
License:

Loading...
Export citation

Choose an application

Abstract

Doppler radars provide unique 3D information about precipitating clouds in high spatial and temporal resolutions. However, the observed quantities (reflectivity, Doppler velocity and polarization properties) are not directly comparable to the variables of numerical prediction models. In order to enable radar data assimilation, a comprehensive modular radar forward operator has been developed.

Listing 1 - 4 of 4
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (4)


License

CC by-sa (4)


Language

english (4)


Year
From To Submit

2013 (4)