References of "Reports"
     in
Bookmark and Share    
Full Text
See detailFrom state- to delta-based bidirectional model transformations: the symmetric case
Diskin, Zinovy; Xiong, Yingfei; Czarnecki, Krzysztof et al

Report (2011)

Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and ... [more ▼]

Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and finally to implementation code. This paper presents model transformation and model integration as specific problem within bidirectional model transformation, which has shown to support various purposes, such as analysis, optimization, and code generation. The main purpose of model integration is to establish correspondence between various models, especially between source and target models. From the analysis point of view, model integration supports correctness checks of syntactical dependencies between different views and models. The overall concept is based on the algebraic approach to triple graph grammars, which are widely used for model transformation. The main result shows the close relationship between model transformation and model integration. For each model transformation sequence there is a unique model integration sequence and vice versa. This is demonstrated by a quasi-standard example for model transformation between class models and relational data base models. [less ▲]

Detailed reference viewed: 171 (1 UL)
Full Text
See detailCorrectness of Model Synchronization Based on Triple Graph Grammars - Extended Version
Hermann, Frank UL; Ehrig, Hartmut; Orejas, Fernando et al

Report (2011)

Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and ... [more ▼]

Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and finally to implementation code. This paper presents model transformation and model integration as specific problem within bidirectional model transformation, which has shown to support various purposes, such as analysis, optimization, and code generation. The main purpose of model integration is to establish correspondence between various models, especially between source and target models. From the analysis point of view, model integration supports correctness checks of syntactical dependencies between different views and models. The overall concept is based on the algebraic approach to triple graph grammars, which are widely used for model transformation. The main result shows the close relationship between model transformation and model integration. For each model transformation sequence there is a unique model integration sequence and vice versa. This is demonstrated by a quasi-standard example for model transformation between class models and relational data base models. [less ▲]

Detailed reference viewed: 61 (4 UL)
Full Text
See detailVersorgungsatlas Rheinland-Pfalz: Versorgungssurvey - Berufsmonitoring - Hochrechnungen
Siegert, Michael; Leidinger, Erwin; Pitzius, Oliver et al

Report (2010)

Die wohl bedeutendste sozio-ökonomische Entwicklung, die auf unsere Gesellschaft zukommt, ist der demografische Wandel: Die Bevölkerung wird insgesamt älter und die Bevölkerungszahl wird abnehmen. Dabei ... [more ▼]

Die wohl bedeutendste sozio-ökonomische Entwicklung, die auf unsere Gesellschaft zukommt, ist der demografische Wandel: Die Bevölkerung wird insgesamt älter und die Bevölkerungszahl wird abnehmen. Dabei wird diese Entwicklung in ländlichen Gebieten früher beginnen als in städtischen Gebieten. Bis zum Jahr 2020 wird sich der Altersaufbau der Bevölkerung Deutschland verglichen mit dem heutigen Aufbau wenig ändern – danach aber umso stärker. Vor diesem Hintergrund dient der Versorgungsatlas zum einen als Bestandsaufnahme von Angebot und Nachfrage der ambulanten Versorgung in Rheinland-Pfalz. Zum anderen wird hochgerechnet, wie sich Angebot und Nachfrage in Zukunft entwickeln könnten. Dazu werden verschiedene Datenquellen zusammengeführt. Es handelt sich dabei um Befragungsdaten aus einem erstmals in Rheinland-Pfalz durchgeführten Versorgungssurvey in der allgemeinen Bevölkerung und einem Berufsmonitoring bei Medizinstudenten der Universität Mainz sowie Sekundärdaten der KV RLP. Diese Berechnungen sind Basis für die Beantwortung der Frage, ob die ambulante Versorgung in Rheinland-Pfalz auch in Zukunft qualitativ und quantitativ ausreichend gesichert ist. Der Versorgungsatlas ist das Resultat einer intensiven Zusammenarbeit von Wissenschaft und Praxis. Die KV RLP, zuständig für die Sicherstellung der ambulanten Versorgung hat die Stabsstelle Versorgungsforschung eingerichtet, um bislang brachliegende Daten und ungenutzte Ressourcen für die Versorgungsforschung zu nutzen. Der Atlas soll exemplarisch zeigen, welche Möglichkeiten der Darstellung und Analyse diese Daten und das von der Versorgungsforschung entwickelte Datenbank- und Analysesystem bietet. Dabei hat die vorliegende Printversion nur exemplarischen Charakter. Der Innovationsgehalt liegt in der Online-Nutzung der Daten. Hier verfolgt die KV RLP zwei Strategien. Zum einen werden Karten auf der Internetseite der KV RLP unter www.kv-rlp.de in kontinuierlich aktualisierter Form für die Öffentlichkeit bereitgestellt, zum anderen sind aktuelle und sehr differenzierte Analysen – zum Beispiel für die kleinräumige Niederlassungsberatung – auf Anfrage möglich. [less ▲]

Detailed reference viewed: 70 (4 UL)
Full Text
See detailFormal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version
Hermann, Frank UL; Ehrig, Hartmut; Orejas, Fernando et al

Report (2010)

Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model ... [more ▼]

Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations like termination, correctness and completeness, but functional behaviour - especially local confluence - is missing up to now. In order to close this gap we generate forward translation rules, which extend standard forward rules by translation attributes keeping track of the elements which have been translated already. In the first main result we show the equivalence of model transformations based on forward resp. forward translation rules. This way, an additional control structure for the forward transformation is not needed. This allows to apply critical pair analysis and corresponding tool support by the tool AGG. However, we do not need general local confluence because confluence for source graphs not belonging to the source language is not relevant for the functional behaviour of a model transformation. For this reason we only have to analyze a weaker property, called translation confluence. This leads to our second main result, the functional behaviour of model transformations, which is applied to our running example, the model transformation from class diagrams to database models. [less ▲]

Detailed reference viewed: 53 (6 UL)
Full Text
See detailAnalyse des élections au Luxembourg de Juin 2009
Dumont, Patrick UL; Kies, Raphaël UL; Spreitzer, Astrid et al

Report (2010)

Le chapitre 1 Législations, partis et campagne électorale au Luxembourg retrace d’une part les transformations du système politique luxembourgeois (avec la modification de la loi électorale, la ... [more ▼]

Le chapitre 1 Législations, partis et campagne électorale au Luxembourg retrace d’une part les transformations du système politique luxembourgeois (avec la modification de la loi électorale, la promulgation de loi sur le financement des partis politiques et les évènements qui ont marqué la législature 2004-2009) et, d’autre part analyse les enjeux et challenges de la législature 2004-2009. Il se focalise sur la campagne électorale de septembre 2008 à juin 2009 (aussi bien à travers les sondages que par un dépouillement exhaustif de la presse quotidienne et hebdomadaire luxembourgeoise de langue allemande et française à caractère politique). Le chapitre 2 Formation de l’opinion et candidats aux législatives et européennes a pour objet les conditions de la formation de l’opinion, de la représentation et de la médiation en politique au Grand-Duché. Ce chapitre informe particulièrement sur comment les citoyens forment leurs intentions de vote, les stratégies des partis tant dans le choix des candidatures que dans la mise en forme de leurs identités politiques et leurs relations avec les autres acteurs du système politique, communément appelés la « société civile ». Le chapitre 3 Résultats des élections législatives et européennes introduit non seulement de nouveaux modes de calculs pour la présentation des résultats, mais établit aussi des corrélations entre des caractéristiques socio-démographiques, tirées des données du recensement de 2001, des données statistiques sur la population en 2008 et en 2009 du STATEC et de l’IGSS de 2009 et des résultats des partis au niveau des 116 communes du Luxembourg. Les chapitre 4 et 5 Électorats dans les sondages pré & post-électoral visent, quant à eux, à établir le portrait sociologique des électorats des partis et leurs valeurs à travers tant les classiques déterminants du vote, comme la structure par âge, par genre, par niveau d’instruction et par situation face à l’emploi que par l’échelle des valeurs « matérialistes »/ »post-matérialistes » conceptualisée par Ronald Inglehart et ses disciples. En plus de l’étude des Luxembourgeois, pour la première fois, nous analysons aussi les étrangers résidents au Luxembourg. Le chapitre 6 Étude des bulletins marque la continuité avec les études précédentes sur les élections législatives et européennes, puisque c’est la huitième fois qu’il est procédé à un échantillonnage des bulletins réels pour les élections législatives. Cette analyse permet, d’une part, d’évaluer les proximités entre les partis eux-mêmes et, d’autre part, de mesurer les performances des politiques électorales personnelles des candidats, indépendamment de leurs affiliations personnelles. Nouveauté en 2009, il a été étudié également les bulletins pour les élections européennes. [less ▲]

Detailed reference viewed: 86 (4 UL)
See detailCountry Report Austria. Faith-Based Organisations and Social Exclusion in European Cities
Ernst, André; Kmiotek-Meier, Emilia Alicja UL; Meyer, Robert et al

Report (2010)

Detailed reference viewed: 21 (2 UL)
See detailConfronting the Representative Consumer with Household-Size Heterogeneity
Koulovatianos, Christos UL; Schroeder, Carsten; Schmidt, Ulrich

Report (2010)

Much analysis in macroeconomics empirically addresses economy-wide incentives behind consumer/investment choices by using insights from the way a single representative household would behave ... [more ▼]

Much analysis in macroeconomics empirically addresses economy-wide incentives behind consumer/investment choices by using insights from the way a single representative household would behave. Heterogeneity at the micro level can jeopardize attempts to back up the representative consumer construct with microfoundations. One complex aspect of micro-level heterogeneity is household size, as individuals living in multi-member households have the potential to share goods within the household, benefiting from household-size economies. Theoretically, we show that validating the role of a representative consumer would require that the way individuals benefit from intra-household sharing is strictly aligned across the rich and the poor: once expenditures for subsistence needs are subtracted from disposable household income, household-size economies the remainder (discretionary) household incomes entail must be the same across the rich and the poor. We have designed a survey method that allows the testing of this stringent property of intra-household sharing and find that it holds. [less ▲]

Detailed reference viewed: 81 (5 UL)
See detailZwischenbericht - Wissenschaftliche Begleitung des Projekts „Keine/r ohne Abschluss“ im besonderen 10.Schuljahr
Eckert, Roland; Smilek, Natalie; Cremer, Annelie et al

Report (2010)

Detailed reference viewed: 61 (4 UL)
Full Text
See detailLow- and High-Level Petri Nets with Individual Tokens
Modica, Tony; Gabriel, Karsten; Ehrig, Hartmut et al

Report (2010)

In this article, we present a new variant of Petri nets with markings called Petri nets with individual tokens, together with rule-based transformation following the double pushout approach. The most ... [more ▼]

In this article, we present a new variant of Petri nets with markings called Petri nets with individual tokens, together with rule-based transformation following the double pushout approach. The most important change to former Petri net transformation approaches is that the marking of a net is no longer a collective set of tokens, but each each has an own identity leading to the concept of Petri nets with individual tokens. This allows us to formulate rules that can change the marking of a net arbitrarily without necessarily manipulating the structure. As a first main result that depends on nets with individual markings we show the equivalence of transition firing steps and the application of firing-simulating rules. We define categories of low-level and of algebraic high-level nets with individual tokens, called PTI nets and AHLI nets, respectively and relate them with each other and their collective counterparts by functors. To be able to use the properties and analysis results of \MCALM-adhesive HLR systems (formerly know as weak adhesive high-level replacement systems) we show in further main results that both categories of PTI nets and AHLI nets are \MCALM-adhesive categories. By showing how to construct initial pushouts we also give necessary and sufficient conditions for the applicability of transformation rules in these categories, known as gluing condition in the literature. [less ▲]

Detailed reference viewed: 106 (4 UL)
Full Text
See detailEfficient Process Analysis of Transformation Systems Based on Petri nets
Hermann, Frank UL; Corradini, Andrea; Ehrig, Hartmut et al

Report (2010)

In the framework of adhesive transformation systems with Negative Application Conditions (NACs), we show how the problem of computing the set of equivalent derivations to a given one can be reduced to the ... [more ▼]

In the framework of adhesive transformation systems with Negative Application Conditions (NACs), we show how the problem of computing the set of equivalent derivations to a given one can be reduced to the analysis of the reachability graph of a generated Place/Transition Petri net. This net encodes the dependencies among rule applications of the derivation, including the inhibiting e ects of the NACs. We show the e ectiveness of this approach by comparing the cost of a brute force-approach with the cost of the presented analysis applied to a derivation of a simple system, showing a signi cant improvement in speed. [less ▲]

Detailed reference viewed: 46 (1 UL)
Full Text
See detailModeling and Reconfiguration of critical Business Processes for the purpose of a Business Continuity Management respecting Security Risk and Compliance requirements at Credit Suisse using Algebraic Graph Transformation: Extended Version
Brandt, Christoph; Hermann, Frank UL; Groote, Jan-Friso

Report (2010)

Critical business processes can fail. A Business Continuity Management System is a special management system that will de ne how to recover from such failures and speci es temporary work-arounds to make ... [more ▼]

Critical business processes can fail. A Business Continuity Management System is a special management system that will de ne how to recover from such failures and speci es temporary work-arounds to make sure a company is not going out of business in the worst case. However, because today's implementations are primarily organizational best-practice solutions, their security, risk and compliance issues in such a recovery situation are mostly unknown. Algebraic graph theory can be used as a formal method supporting employees when running business processes need to be recon gured to recover from speci c failures. The example discussed is a loan granting process in a real-world banking environment. Because such a process has to respect certain laws, regulations and rules even in emergency situations, we sketch how this can be done during the process recon guration by looking at security, risk and compliance issues, compatible with the graph technique. Furthermore, we show how the analysis can be extended to requirements concerning the information ow using the process algebra mCRL2. [less ▲]

Detailed reference viewed: 88 (4 UL)
Full Text
See detailSteady-State Growth and the Elasticity of Substitution
Irmen, Andreas UL

Report (2010)

In a neoclassical economy with endogenous capital- and labor-augmenting technical change the steady-state growth rate of output per worker is shown to increase in the elasticity of substitution between ... [more ▼]

In a neoclassical economy with endogenous capital- and labor-augmenting technical change the steady-state growth rate of output per worker is shown to increase in the elasticity of substitution between capital and labor. This confirms the assessment of Klump and de La Grandville (2000) that the elasticity of substitution is a powerful engine of economic growth. However, unlike their findings my result applies to the steady-state growth rate. Moreover, it does not hinge on particular assumptions on how aggregate savings come about. It holds for any household sector allowing savings to grow at the same rate as aggregate output. [less ▲]

Detailed reference viewed: 108 (0 UL)
Full Text
See detailLes retraites au Luxembourg : modélisation et évaluation d'un système diversifié avec répartition et capitalisation
Guigou, Jean-Daniel UL; Lovat, Bruno; Schiltz, Jang UL

Report (2010)

Nous développons un modèle permettant d évaluer l e¢ cacité d un système de pension diversi é - dont le nancement est basé à la fois sur la répartition et la capitalisation - à partir de données propres ... [more ▼]

Nous développons un modèle permettant d évaluer l e¢ cacité d un système de pension diversi é - dont le nancement est basé à la fois sur la répartition et la capitalisation - à partir de données propres au Luxembourg. Le critère d e¢ cacité retenu est celui de la soutenabilité à long terme du système. Nous comparons ainsi la soutenabilité dans le temps d un régime combinant répartition et capitalisation avec celle d un régime reposant uniquement soit sur la répartition, soit sur la capitalisation. Cette étude procède en trois étapes. La première étape consiste à mettre en évidence les courbes d évolution des salaires au Luxembourg. Pour y parvenir, nous avons utilisé une méthode statis- tique récente basée sur les trajectoires de développement. Nous avons estimé les paramètres du modèle à partir d une base de données unique, fournie par l IGSS, comprenant les salaires annualisés de tous les employés du secteur privé luxem- bourgeois. Nous avons ainsi obtenu neuf trajectoires moyennes d évolution des salaires ainsi que le poids de chacune d elles dans la société luxembourgeoise. La deuxième étape propose une évaluation du système d assurance-pension luxembourgeois à partir d un nouveau critère : le coe¢ cient de soutenabilité. Il s agit du nombre d euros que les actifs doivent gagner en moyenne pour assurer chaque euro de retraite avec la législation en vigueur. Nos estimations montrent la forte sensibilité du coe¢ cient de soutenabilité aux variables démographiques, mettant ainsi en évidence le risque qui pèse sur le système par répartition au Luxembourg. La troisième et dernière étape introduit la capitalisation dans l analyse. Concrè- tement, il s agit d une épargne-retraite constituée par annuités constantes et pla- cée à un taux d intérêt aléatoire. Le problème revient alors à déterminer le mon- tant optimal de l annuité pour chacun des neuf groupes d individus déjà identi és et d en déduire les ratios répartition/capitalisation correspondants. Notre critère repose là aussi sur le nombre d euros qu il est nécessaire de gagner pour assurer le nancement de chaque euro de retraite, et de la variabilité de ce nombre, mais en tenant compte cette fois-ci, non seulement de l e¤ort collectif (via la répartition), mais aussi de l e¤ort individuel (via la capitalisation). Le but est alors de contrôler la variabilité de l e¤ort total au sein du nouveau système, sous la contrainte d un gain en soutenabilité par rapport au système initial. Des résultats di¤érents en termes de ratio répartition/capitalisation d une part, et d annuités d autre part, sont obtenus en fonction du gain de soutenabilité que l on se donne a priori. [less ▲]

Detailed reference viewed: 129 (2 UL)
See detailDie Qualität des Erlebens von Lernenden in integrativen und separativen Schulformen
Venetz, Martin; Tarnutzer, Rupert; Zurbriggen, Carmen UL et al

Report (2010)

Detailed reference viewed: 14 (0 UL)
Full Text
See detailA constraint system for a SML type error slicer
Rahli, Vincent UL; Wells, J. B.; Kamareddine, Fairouz

Report (2010)

Detailed reference viewed: 43 (0 UL)
See detailEvaluation des Pilotprojekts Schulsozialarbeit in Kärnten. Zwischenbericht der der quantitativen Auswertung
Wetzel, Konstanze; Braun, Karl-Heinz; Hoenig, Barbara UL

Report (2010)

Detailed reference viewed: 33 (2 UL)
Full Text
See detailEnterprise Modelling using Algebraic Graph Transformation - Extended Version
Brandt, Christoph; Hermann, Frank UL; Ehrig, Hartmut et al

Report (2010)

An analysis of today's situation at Credit Suisse has shown severe problems, because it is based on current best practices and ad-hoc modelling techniques to handle important aspects of security, risk and ... [more ▼]

An analysis of today's situation at Credit Suisse has shown severe problems, because it is based on current best practices and ad-hoc modelling techniques to handle important aspects of security, risk and compliance. Based on this analysis we propose in this paper a new enterprise model which allows the construction, integration, transformation and evaluation of di erent organizational models in a big decentralized organization like Credit Suisse. The main idea of the new model framework is to provide small decentralized models and intra-model evaluation techniques to handle services, processes and rules separately for the business and IT universe on one hand and for human-centric and machine-centric concepts on the other hand. Furthermore, the new framework provides inter-modelling techniques based on algebraic graph transformation to establish the connection between di erent kinds of models and to allow integration of the decentralized models. In order to check for security, risk and compliance in a suitable way, our models and techniques are based on di erent kinds of formal methods. In this paper, we show that algebraic graph transformation techniques are useful not only for intra-modelling { using graph grammars for visual languages and graph constraints for requirements { but also for inter-modelling { using triple graph grammars for model transformation and integration. Altogether, we present the overall idea of our new model framework and show how to solve speci c problems concerning intra- and inter-modelling as rst steps. This should give evidence that our framework can also ? This work is partially supported by Credit Suisse (Luxembourg) S.A., 56, Grand Rue BP 40, L-1660 Luxembourg, Telephone: +352 46 00 11-1, Fax: +352 46 32 70 handle important other requirements for enterprise modelling in a big decentralized organization like Credit Suisse. [less ▲]

Detailed reference viewed: 52 (3 UL)
Full Text
See detailEfficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version
Hermann, Frank UL; Ehrig, Hartmut; Golas, Ulrike et al

Report (2010)

Triple Graph Grammars are a well-established, formal and intuitive concept for the specification and analysis of bidirectional model transformations. In previous work we have formalized and analyzed ... [more ▼]

Triple Graph Grammars are a well-established, formal and intuitive concept for the specification and analysis of bidirectional model transformations. In previous work we have formalized and analyzed already termination, correctness, completeness, local confluence and functional behaviour. In this paper, we show how to improve the efficiency of the execution and analysis of model transformations in practical applications by using triple rules with negative application conditions (NACs). In addition to specification NACs, which improve the specification of model transformations, the generation of filter NACs improves the efficiency of the execution and the analysis of functional behaviour supported by critical pair analysis of the tool AGG. We illustrate the results for the well-known model transformation from class diagrams to relation database models. [less ▲]

Detailed reference viewed: 51 (2 UL)
See detailZAP
Melzer, André UL

Report (2010)

Detailed reference viewed: 45 (0 UL)
Full Text
See detailELER - Plan zur Entwicklung des ländlichen Raums im Saarland 2007-2013, Halbzeitbewertung 2007-2009
Doluschitz, Rainer; Grosskopf, Werner; Nienaber, Birte UL

Report (2010)

This is the mid-term evaluation of the EAFRD programme (2007-2013) in Saarland, Germany.

Detailed reference viewed: 30 (0 UL)
See detailHannah Arendt über Geschichten als (Gegen-)Geschichte(n)
Pavlik, Jennifer UL

Report (2010)

Detailed reference viewed: 60 (1 UL)
Full Text
See detailLes langues dans les offres d'emploi du Luxemburger Wort 1984-2009
Pigeron-Piroth, Isabelle UL; Fehlen, Fernand UL

Report (2010)

Cette étude propose une analyse des demandes linguistiques figurant dans les offres d’emploi du Luxemburger Wort sur la période 1984-2009. A partir d’un échantillon de 60 éditions du quotidien national ... [more ▼]

Cette étude propose une analyse des demandes linguistiques figurant dans les offres d’emploi du Luxemburger Wort sur la période 1984-2009. A partir d’un échantillon de 60 éditions du quotidien national, l’étude passe en revue l’évolution des demandes linguistiques, mais aussi des compétences exigées ou souhaitées, et souligne les différences entre les branches d’activité. [less ▲]

Detailed reference viewed: 117 (13 UL)
Full Text
See detailWunnéngshëllef: Eine Institution im Wandel. Anlayse der Erfahrungen, Interessen und Motive der Mitarbeiter als Grundlage der Konzept- und Strategieentwicklung
Biewers, Sandra UL; Joachim, Patrice UL

Report (2009)

Der vorliegende Evaluationsbericht dokumentiert die Ergebnisse einer Studie, die im Sommer 2005 durch die Wunnéngshëllef beim luxemburgischen Forschungsinstitut CESIJE (Centre d'Etudes sur la Situation ... [more ▼]

Der vorliegende Evaluationsbericht dokumentiert die Ergebnisse einer Studie, die im Sommer 2005 durch die Wunnéngshëllef beim luxemburgischen Forschungsinstitut CESIJE (Centre d'Etudes sur la Situation des Jeunes en Europe) in Auftrag gegeben wurde. Sie hat das Ziel, die strukturellen und konzeptionellen Leistungen der Institution Wunnéngshëllef mit sozialwissenschaftlichen Instrumenten zu beleuchten und zu analysieren, um hieraus Einschätzungen zur Ist-Situation der institutionellen und organisatorischen Abläufe, ihrer Qualität, aber auch des Entwicklungsbedarfs und des Entwicklungspotentzials zu erhalten. [less ▲]

Detailed reference viewed: 95 (12 UL)
Full Text
See detailEvaluation des Schulversuchs : Jean-Jaurès-Ganztagsschule
Joachim, Patrice UL

Report (2009)

Detailed reference viewed: 29 (3 UL)
See detailNeeds analysis report for Luxembourg in the frame of the EUCIM-TE-project
Berg, Charles UL; Joachim, Patrice UL; Kneip, Nico et al

Report (2009)

Detailed reference viewed: 46 (1 UL)
See detailYouth Participation
Willems, Helmut UL; Schneider, Marie UL

Report (2009)

Detailed reference viewed: 33 (1 UL)
Full Text
See detailLebensqualität in der Stadt Luxemburg:Bürgerbefragung
Vogelgesang, Waldemar; Lorig, Philipp; Decieux, Jean Philippe Pierre UL et al

Report (2009)

Die vorliegende Befragungsstudie ‚Lebensqualität der Bürgerinnen und Bürger der Stadt Luxemburg’ ist Teil eines Gesamtprojektes, das im Auftrag der Stadt Luxemburg durchgeführt wurde und an dem drei ... [more ▼]

Die vorliegende Befragungsstudie ‚Lebensqualität der Bürgerinnen und Bürger der Stadt Luxemburg’ ist Teil eines Gesamtprojektes, das im Auftrag der Stadt Luxemburg durchgeführt wurde und an dem drei Institutionen mitgewirkt haben: FOREG (Projektleitung: Dr. Manfred Schenk), CEPS (Leiter der Abteilung GEODE: Patrick Bousch) und die Universität Trier (Teilprojekt Bürgerbefragung: PD Dr. Waldemar Vogelgesang). Ziel der Befragung ist es, aus der Sicht der in der Stadt lebenden Menschen die Stärken und Schwächen ihres urbanen Lebensraums aufzuzeigen. Ein besonderer Schwerpunkt der Studie liegt dabei auf dem Wohnumfeld, der Familien- und Betreuungssituation und auf den sozialen Beziehungen der Bewohnerinnen und Bewohner untereinander. Die auf diese Weise gewonnenen Erkenntnisse über die Lebens- und Wohnverhältnisse bilden eine wichtige Informationsgrundlage für einen Sozialplan, der für die Stadt Luxemburg erstellt wird. [less ▲]

Detailed reference viewed: 513 (12 UL)
See detailReconciliation between work, private and family life in the European Union
Margherita, Antonia UL; O'Dorchai, Sile; Bosch, Jelle et al

Report (2009)

Work is a source of income, professional satisfaction and social contact. However, work is not always easy to combine with family life and other private activities, especially for parents. Reconciling ... [more ▼]

Work is a source of income, professional satisfaction and social contact. However, work is not always easy to combine with family life and other private activities, especially for parents. Reconciling both demands is an important issue for many citizens in the European Union. This publication looks at various aspects of the issue of reconciliation of work with family life. It features discussions of the data sources used and gives an overview of the differences in the relevant legal arrangements in the Member States. The report starts with a description of the labour market situation, including developments in part-time work, fixed-term contracts and household composition. The following chapters cover working hours with special attention to unpaid family work, childcare and other care services, maternity and parental leave and flexibility in working time arrangements, including atypical working times such as working at night or at the weekend. [less ▲]

Detailed reference viewed: 584 (16 UL)
Full Text
See detailPermutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems: Long Version
Hermann, Frank UL

Report (2009)

Switch equivalence for transformation systems has been successfully used in many domains for the analysis of concurrent behaviour. When using graph transformation as modelling framework for these systems ... [more ▼]

Switch equivalence for transformation systems has been successfully used in many domains for the analysis of concurrent behaviour. When using graph transformation as modelling framework for these systems the concept of negative application conditions (NACs) is widely used -- in particular for the specification of operational semantics. In this paper we show that switch equivalence can be improved essentially for the analysis of systems with NACs by our new concept of permutation equivalence. Two derivations respecting all NACs are called permutation-equivalent if they are switch-equivalent disregarding the NACs. In fact, there are permutation-equivalent derivations which are not switch-equivalent with NACs. As main result of the paper, we solve the following problem: Given a derivation with NACs, we can efficiently derive all permutation-equivalent derivations to the given one by static analysis. The results are based on extended techniques for subobject transformation systems which have been introduced recently. [less ▲]

Detailed reference viewed: 56 (2 UL)
See detailStudienwahl in der Sozialen Arbeit: Motivation, Entscheidung, Zufriedenheit
Scheu, Bringfriede; Arnold, Helmut; Hoenig, Barbara UL

Report (2009)

Detailed reference viewed: 69 (1 UL)
See detailGleichheit und Differenz. Die soziale Konstruktion von Gender in der Schule
Scheu, Bringfriede; Hoenig, Barbara UL

Report (2009)

Detailed reference viewed: 130 (1 UL)
Full Text
See detailCompleteness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Ehrig, Hartmut; Hermann, Frank UL; Sartorius, Christoph

Report (2009)

Model transformations are a key concept for modular and distributed model driven development. In this context, triple graph grammars have been investigated and applied to several case studies and they ... [more ▼]

Model transformations are a key concept for modular and distributed model driven development. In this context, triple graph grammars have been investigated and applied to several case studies and they show a convenient combination of formal and intuitive specification abilities. Especially the automatic derivation of forward and backward transformations out of just one specified set of rules for the integrated model simplifies the specification and enhances usability as well as consistency. Since negative application conditions (NACs) are key ingredient for many model transformations based on graph transformation we embed them in the concept of triple graph grammars. As a first main result we can extend the composition/decomposition result for triple graph grammars to the case with NACs. This allows us to show completeness and correctness of model transformations based on rules with NACs and furthermore, we can extend the characterization of information preserving model transformations to the case with NACs. The presented results are applicable to several model transformations and in particular to the well known model transformation from class diagrams to relational data bases, which we present as running example with NACs. [less ▲]

Detailed reference viewed: 45 (2 UL)
See detailDefinition and Measurement of the Social Economy: Continuous Construct or Dichotomous Variable?
Gismondi, Mike; Ross, Lynda; Affolderbach, Julia UL

Report (2009)

Detailed reference viewed: 62 (0 UL)
See detailReport on EC Consumer Law Compendium
Poillot, Elise UL

Report (2009)

Detailed reference viewed: 68 (0 UL)
See detailKnowledge Structures
Müller, Moritz; COWAN, Robin; Duysters, Geert et al

Report (2009)

This paper investigates how technological distance between firms affects their network of R\&D alliances. Our theoretic model assumes that the benefit of an alliance between two firms is given by their ... [more ▼]

This paper investigates how technological distance between firms affects their network of R\&D alliances. Our theoretic model assumes that the benefit of an alliance between two firms is given by their technological distance. This benefit-distance relationship determines the ego-network of each firm as well as the overall network structure. Empirical relevance is confirmed for the bio-pharmaceutical industry. Although we find that the network structure is largely explained by firm size, technological distance determines the positioning of firms in the network. [less ▲]

Detailed reference viewed: 53 (3 UL)
Full Text
See detailKeep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions
Baresi, Luciano; Bianculli, Domenico UL; Guinea, Sam et al

Report (2009)

Detailed reference viewed: 79 (2 UL)
See detailAutomated Performance Assessment for Service-Oriented Middleware
Bianculli, Domenico UL; Binder, Walter; Drago, Mauro Luigi

Report (2009)

Detailed reference viewed: 74 (0 UL)
See detailShe Figures 2009 – Statistics and Indicators on Gender Equality in Science
O'Dorchai, Sile; Meulders, Danièle; Crippa, Francesca et al

Report (2009)

She Figures 2009 is the third publication (following She Figures 2003 and She Figures 2006) of a key set of indicators that are essential to correctly comprehend the situation of women in science and ... [more ▼]

She Figures 2009 is the third publication (following She Figures 2003 and She Figures 2006) of a key set of indicators that are essential to correctly comprehend the situation of women in science and research. [less ▲]

Detailed reference viewed: 749 (14 UL)
See detailYouth in Europe - A statistical portrait
Desurmont, Arnaud; Margherita, Antonia UL; Alciator, Marco et al

Report (2009)

This publication attempts to draw a portrait of young people living in Europe. ‘Youth in Europe’ is based on data available at EU level, using mainly a broad selection of harmonised data sources available ... [more ▼]

This publication attempts to draw a portrait of young people living in Europe. ‘Youth in Europe’ is based on data available at EU level, using mainly a broad selection of harmonised data sources available at Eurostat. The reader will find statistical information on a wide range of topics relating to youth in Europe, including demographic aspects (ageing of the population, founding a family), health and living conditions, education and starting out in working life, and participation in cultural and social activities. The data presented in ‘Youth in Europe’ show that the situation of young people differs considerably from one country to another, which can be explained by a range of cultural, social and economic factors. This publication aims to encourage further interest and research into the fascinating world of young people in order to better understand the Europe of today and of tomorrow. [less ▲]

Detailed reference viewed: 263 (23 UL)
Full Text
See detailOn-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Ehrig, Hartmut; Ermel, Claudia; Hermann, Frank UL et al

Report (2009)

Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rules for bidirectional model ... [more ▼]

Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rules for bidirectional model transformations, which simplifies specification and enhances usability as well as consistency. In this paper we continue previous work on the formal definition of model transformations based on triple graph rules with negative application conditions (NACs). The new notion of partial source consistency enables us to construct consistent model transformations on-the-fly instead of analyzing consistency of completed model transformations. We show the crucial properties termination, correctness and completeness (including NAC-consistency) for the model transformations resulting from our construction. Moreover we define parallel independence for model transformation steps which allows us to perform partial-order reduction in order to improve efficiency. The results are applicable to several relevant model transformations and in particular to our example transformation from class diagrams to database models. [less ▲]

Detailed reference viewed: 47 (1 UL)
Full Text
See detailThe Decision Deck Project
Bisdorff, Raymond UL

Report (2009)

The Decision Deck project is developing an open-source generic Multiple Criteria Decision Aid (MCDA) software platform composed of modular components. Its purpose is to provide effective tools for ... [more ▼]

The Decision Deck project is developing an open-source generic Multiple Criteria Decision Aid (MCDA) software platform composed of modular components. Its purpose is to provide effective tools for decision-aid consultants, for researchers in the field of MCDA, and for operations research teachers. [less ▲]

Detailed reference viewed: 42 (2 UL)
See detailEvidence on the Insurance Effect of Marginal Income Taxes
Grant, Charles; Koulovatianos, Christos UL; Michaelides, Alexander et al

Report (2008)

Marginal income taxes may have an insurance effect by decreasing the effective fluctuations of after-tax individual income. By compressing the idiosyncratic component of personal income fluctuations ... [more ▼]

Marginal income taxes may have an insurance effect by decreasing the effective fluctuations of after-tax individual income. By compressing the idiosyncratic component of personal income fluctuations, higher marginal taxes should be negatively correlated with the dispersion of consumption across households, a necessary implication of an insurance effect of taxation. Our study empirically examines this negative correlation, exploiting the ample variation of state taxes across US states. We show that taxes are negatively correlated with the consumption dispersion of the within-state distribution of non-durable consumption and that this correlation is robust. [less ▲]

Detailed reference viewed: 83 (2 UL)
Full Text
See detailProcess Definition of Adhesive HLR Systems
Hermann, Frank UL

Report (2008)

Process models of graph transformation systems are based on the concept of occurrence grammars, which are a generalization of Petri net processes given by occurrence nets. Recently, subobject ... [more ▼]

Process models of graph transformation systems are based on the concept of occurrence grammars, which are a generalization of Petri net processes given by occurrence nets. Recently, subobject transformation systems were proposed as an abstract framework for occurrence grammars in adhesive categories, but they are restricted to monomorphic matches for transformation steps. In this paper we review the construction of STSs as processes for plain graph grammars and present an extension to weak adhesive HLR categories with non-monomorphic matching, such that e.g. attributed graph grammars are included. [less ▲]

Detailed reference viewed: 29 (1 UL)