• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 5
  • 5
  • Tagged with
  • 12
  • 8
  • 5
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Implementierung eines generischen Interpreters für Termersetzungssysteme höherer Ordnung auf Basis einer strukturellen operationalen Semantik

Stamm, Christopher Unknown Date (has links)
Univ., Diplomarbeit, 2004--Frankfurt (Main)
2

An integrated operational semantics for a UML core based on graph transformation

Ziemann, Paul January 2005 (has links)
Zugl.: Bremen, Univ., Diss., 2005
3

Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen

Heinlein, Christian, January 2000 (has links)
Ulm, Univ., Diss., 2000.
4

Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen /

Kutzner, Arne. January 1900 (has links) (PDF)
Frankfurt (Main), Univ., Diss., 2000. / Erscheinungsjahr an der Haupttitelstelle: 1999
5

Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen

Kutzner, Arne Unknown Date (has links)
Univ., Diss., 2000--Frankfurt (Main)
6

An integrated operational semantics for a UML core based on graph transformation /

Ziemann, Paul. January 2006 (has links)
University, Diss.--Bremen, 2005.
7

The financial crisis : reforming the South African risk management environment / Ja'nel Tobias Esterhuysen

Esterhuysen, Ja'nel Tobias January 2010 (has links)
The global financial crisis that commenced in June 2007 has been described as the most serious financial crisis since the Great Depression of the 1930s. It resulted in considerable international distress with almost all major banks experiencing capital shortages and some defaulting outright. Among the principal causes was an explosive increase - by a factor of ten in some cases - in credit defaults precipitated by lax lending standards which prevailed for several years. The crisis caused several major institutions to fail (and be subsequently acquired under duress): many of these were subject to takeovers by their relevant sovereigns, including - amongst others - Lehman Brothers, Merrill Lynch, Fannie Mae, Freddie Mac and American International Group and AIG. The financial crisis is believed to be directly responsible for the bleak forecasts (2009 and beyond) faced by the global economy. The measure of global volatility, the VIX, trebled in the third quarter of 2008, interest rate spreads between government fixed income securities and interbank rates widened to unprecedented levels, global inflation threatened an already fragile, volatile marketplace, corporate and retail loan default rates rose and downgrades of large financial institutions (such as US Monoline bond insurers)and manycorporates were experienced by major rating agencies during the first quarter of 2009. The aim of this thesis was to discuss and critically evaluate how the financial crisis has impacted banking risks and also the effect it had on international banks. This has been accomplished through the modification of existing risk measurement techniques and, in some cases, through the development of new techniques, when older risk models proved to be inadequate. A principal secondary aim of the thesis was the testing of these methodologies - in real-world contexts - to ascertain their reliability and robustness concomitant with the adaptation of these methodologies in the light of the new empirical evidence. Important other secondary objectives were the development of novel approaches w0here the research results required it and and the introduction of practical ways to use the results of the thesis in a post-crisis bank risk management environment. Some of the bank asset portfolios that were investigated in the thesis were generated bysimulated data to replicate specific characteristics during the crisis, while the other portfolios comprised entirelyof empirical data. The first objective, of the thesis, was to determine the effect of stressed economic conditions on b.erational risk loss distributions. The depth and duration of the credit crisis have highlighted a number of problems in modern finance. Banks have been accused of excessive risk taking, rating agencies of severe conflicts of interest, central banks of neglecting the inflation of asset price bubbles and national supervisors of laxregulatorycontrols. Credit and market losses have been considerable. Operational losses have also surged as surviving corporates merge or acquire less fortunate ones without the requisite controls. As more jobs get made redundant it is believed that employees revert to internal fraud as their sources of income have dried up drasticallyand stealing from the institution seems to b.tional losses have been affected has been presented and a comparison has been made between operational loss characteristics pre and during the crisis. Some of the main findings were that operational losses have shown little change in frequency, but shown a significant increase in severity, meaning that their financial impact has been more severe during the crisis. It is safe to saythat the financial crisis most definitelyin.creased operational risk in banks much more severe losses. The second objective was to focus on the effect of the stressed economic conditions on the applicability and effectiveness of the credit risk measurement methodologies and the minimum capital requirements, pre.scribed to banks in Basel II. The robustness of the Basel II accord in protecting banks during volatile eco.nomic periods has been challenged in the ongoing financial crisis. Advanced approaches to measuring and managing credit risk in particular have drawn criticism for being too complexand irrelevant. Despite accusa.tions that the accord was largelyresponsible for the crisis, this studyexplored which of Basel II's credit risk approaches were more successful in measuring the bank?s credit risk and calculating the required minimum capital charge for the bank. It was found that, in general, compliance with Basel II actuallyprotected banks during the crisis with the simpler approaches enjoying greater success than more advanced ones, in protect.ing banks against credit risk. The third objective was to appraise the effect of stressed economic conditions on the systemic risk within the South African Banking sector. The financial crisis resulted in increases in credit-, market-and opera.tional risk, but it mayalso have precipitated a surge in systemic risk. Measuring systemic risk as the price of insurance against distressed losses in the South African banking sector, this studyillustrated that the finan.cial crisis has in fact resulted in an increase in systemic risk. Using probabilities of default and asset return correlations as systemic risk indicators, it was established that the financial crisis has indeed increased sys.temic risk in South Africa. The impact was, however, less severe than that experienced in other large interna.tional banks. The fourth and final objective of this studywas to focus on liquiditycreation in South African banks under stressed economic conditions. The financial crisis placed severe pressure on global bank liquidity. Many banks were unable to create sufficient liquidityand had to receive government support or face default. This studyillustrated the impact of the financial crisis on liquiditycreation within South African banks using a model previouslyapplied to US banks. Four measures of liquiditycreation are discussed and applied to data spanning 2004 ? 2009. Although created liquiditydecreased steeplyfrom 2007, liquidity levels in 2009re.main about 45% higher than those of 2004. The four large South African banks created about 80% of the total market liquidity, and a possible reason for this is that these banks have verylarge retail divisions, which have assisted them in creating much more liquiditythan the smaller banks which have much smaller retail divisions. In conclusion, and as illustrated through the findings of this study, the financial crisis did impact the major banking risks on various levels and it is therefore safe to saythat the financial crisis has reformed the interna.tional risk management environment and will also do so in the years to come. / Thesis (Ph.D. (Economics))--North-West University, Potchefstroom Campus, 2011.
8

The financial crisis : reforming the South African risk management environment / Ja'nel Tobias Esterhuysen

Esterhuysen, Ja'nel Tobias January 2010 (has links)
The global financial crisis that commenced in June 2007 has been described as the most serious financial crisis since the Great Depression of the 1930s. It resulted in considerable international distress with almost all major banks experiencing capital shortages and some defaulting outright. Among the principal causes was an explosive increase - by a factor of ten in some cases - in credit defaults precipitated by lax lending standards which prevailed for several years. The crisis caused several major institutions to fail (and be subsequently acquired under duress): many of these were subject to takeovers by their relevant sovereigns, including - amongst others - Lehman Brothers, Merrill Lynch, Fannie Mae, Freddie Mac and American International Group and AIG. The financial crisis is believed to be directly responsible for the bleak forecasts (2009 and beyond) faced by the global economy. The measure of global volatility, the VIX, trebled in the third quarter of 2008, interest rate spreads between government fixed income securities and interbank rates widened to unprecedented levels, global inflation threatened an already fragile, volatile marketplace, corporate and retail loan default rates rose and downgrades of large financial institutions (such as US Monoline bond insurers)and manycorporates were experienced by major rating agencies during the first quarter of 2009. The aim of this thesis was to discuss and critically evaluate how the financial crisis has impacted banking risks and also the effect it had on international banks. This has been accomplished through the modification of existing risk measurement techniques and, in some cases, through the development of new techniques, when older risk models proved to be inadequate. A principal secondary aim of the thesis was the testing of these methodologies - in real-world contexts - to ascertain their reliability and robustness concomitant with the adaptation of these methodologies in the light of the new empirical evidence. Important other secondary objectives were the development of novel approaches w0here the research results required it and and the introduction of practical ways to use the results of the thesis in a post-crisis bank risk management environment. Some of the bank asset portfolios that were investigated in the thesis were generated bysimulated data to replicate specific characteristics during the crisis, while the other portfolios comprised entirelyof empirical data. The first objective, of the thesis, was to determine the effect of stressed economic conditions on b.erational risk loss distributions. The depth and duration of the credit crisis have highlighted a number of problems in modern finance. Banks have been accused of excessive risk taking, rating agencies of severe conflicts of interest, central banks of neglecting the inflation of asset price bubbles and national supervisors of laxregulatorycontrols. Credit and market losses have been considerable. Operational losses have also surged as surviving corporates merge or acquire less fortunate ones without the requisite controls. As more jobs get made redundant it is believed that employees revert to internal fraud as their sources of income have dried up drasticallyand stealing from the institution seems to b.tional losses have been affected has been presented and a comparison has been made between operational loss characteristics pre and during the crisis. Some of the main findings were that operational losses have shown little change in frequency, but shown a significant increase in severity, meaning that their financial impact has been more severe during the crisis. It is safe to saythat the financial crisis most definitelyin.creased operational risk in banks much more severe losses. The second objective was to focus on the effect of the stressed economic conditions on the applicability and effectiveness of the credit risk measurement methodologies and the minimum capital requirements, pre.scribed to banks in Basel II. The robustness of the Basel II accord in protecting banks during volatile eco.nomic periods has been challenged in the ongoing financial crisis. Advanced approaches to measuring and managing credit risk in particular have drawn criticism for being too complexand irrelevant. Despite accusa.tions that the accord was largelyresponsible for the crisis, this studyexplored which of Basel II's credit risk approaches were more successful in measuring the bank?s credit risk and calculating the required minimum capital charge for the bank. It was found that, in general, compliance with Basel II actuallyprotected banks during the crisis with the simpler approaches enjoying greater success than more advanced ones, in protect.ing banks against credit risk. The third objective was to appraise the effect of stressed economic conditions on the systemic risk within the South African Banking sector. The financial crisis resulted in increases in credit-, market-and opera.tional risk, but it mayalso have precipitated a surge in systemic risk. Measuring systemic risk as the price of insurance against distressed losses in the South African banking sector, this studyillustrated that the finan.cial crisis has in fact resulted in an increase in systemic risk. Using probabilities of default and asset return correlations as systemic risk indicators, it was established that the financial crisis has indeed increased sys.temic risk in South Africa. The impact was, however, less severe than that experienced in other large interna.tional banks. The fourth and final objective of this studywas to focus on liquiditycreation in South African banks under stressed economic conditions. The financial crisis placed severe pressure on global bank liquidity. Many banks were unable to create sufficient liquidityand had to receive government support or face default. This studyillustrated the impact of the financial crisis on liquiditycreation within South African banks using a model previouslyapplied to US banks. Four measures of liquiditycreation are discussed and applied to data spanning 2004 ? 2009. Although created liquiditydecreased steeplyfrom 2007, liquidity levels in 2009re.main about 45% higher than those of 2004. The four large South African banks created about 80% of the total market liquidity, and a possible reason for this is that these banks have verylarge retail divisions, which have assisted them in creating much more liquiditythan the smaller banks which have much smaller retail divisions. In conclusion, and as illustrated through the findings of this study, the financial crisis did impact the major banking risks on various levels and it is therefore safe to saythat the financial crisis has reformed the interna.tional risk management environment and will also do so in the years to come. / Thesis (Ph.D. (Economics))--North-West University, Potchefstroom Campus, 2011.
9

A universal realizability model for sequential functional computation

Rohr, Alexander. Unknown Date (has links)
Techn. University, Diss., 2002--Darmstadt.
10

Dynamische Modellanalyse von Metamodellen mit operationaler Semantik

Soden, Michael 18 March 2015 (has links)
Metamodellierung im Sinne der Meta Object Facility (MOF) stellt eine Methode für die strukturelle Definition der abstrakten Syntax von Modellierungssprachen und Modellen im Softwareentwicklungsprozess dar. Um Modellsimulation und dynamische Analysen für metamodellbasierte Sprachen zu unterstützen, fehlt es an einem Kalkül zur operationalen Semantik. In dieser Arbeit wird ausgehend von MOF die Aktionssemantik MActions entwickelt, die die Definition von operationaler Semantik als Verhalten in Metamodellen ermöglicht. Diese Erweiterung geht einher mit der Beschreibung von Laufzeitmodellen sowie Zuständen und Parallelitätseigenschaften, so dass eine Verifikation von dynamischen Eigenschaften möglich wird. Zu diesem Zweck wird mit der Linear Temporal Object Constraint Language (LT-OCL) exemplarisch eine prädikatenlogische Temporallogik entwickelt, die eine metamodellunabhängige Analyse für ausführbare Modelle erlaubt. Dabei ist die Semantik von temporalen Ausdrücken über Zuständsänderungen von (aufgezeichneten) Ausführungsläufen beschrieben, wobei eine Linearisierung parallele Änderungen zusammenführt. Als weiteren Anwendungsfall der dynamischen Analyse untersuchen wir die Relation zum Verhaltensvergleich im Sinne der Bisimulationstheorie. Metamodelle, Aktionssemantik und Temporallogik werden mittels einer erweiterten Abstract State Machine (ASM) formal beschrieben und kommen in zwei Fallstudien zur Anwendung (Timed Automata und C#). / Object-oriented metamodelling as defined by the Meta Object Facility (MOF) provide a means to describe the structure of models and the abstract syntax of modelling languages at various stages in a software development process. However, MOF lacks concepts for the definition of operational semantics and there is no support for dynamic model analysis based on the semantics and abstract states of a language definition. This thesis investigates on extending the metamodelling framework with an action semantics - the MActions - to support the definition of operational semantics in metamodels and enable simulation as well as verification of dynamic properties. For this purpose, runtime models are incorporated with semantics for states, time, and properties of parallelism that allow a generic analysis solely bound to a certain metamodel definition. Furthermore, we develop the Linear Temporal Object Constraint Language (LT-OCL) to perform a dynamic analysis of execution runs based on the executable models. The semantics of this temporal predicate logic is bound to state changes of (recorded) execution traces that are linearizations of parallel changes of the runtimes model. This establishes the link to the theory of bisimulation as a second application case of dynamic analysis. Abstract State Machines (ASM) have been used to formally define the action language in conjunction with metamodels and the temporal logic. As proof of concept of the whole approach, the framework has been implemented and applied to two languages as case studies (namely Timed Automata and C#).

Page generated in 0.0733 seconds