Search for dissertations about: "Graph transformation"
Showing result 1 - 5 of 19 swedish dissertations containing the words Graph transformation.
-
1. Code Optimisation Techniques for Lazy Functional Languages
Abstract : This thesis describes a complete compiler back-end for lazy functional languages, which uses various interprocedural optimisations to produce highly optimised code. The most important contributions of this work are the following. READ MORE
-
2. Understanding Certificate Revocation
Abstract : Correct certificate revocation practices are essential to each public-key infrastructure. While there exist a number of protocols to achieve revocation in PKI systems, there has been very little work on the theory behind it: Which different types of revocation can be identified? What is the intended effect of a specific revocation type to the knowledge base of each entity?As a first step towards a methodology for the development of reliable models, we present a graph-based formalism for specification and reasoning about the distribution and revocation of public keys and certificates. READ MORE
-
3. Verifying Absence of ∞ Loops in Parameterized Protocols
Abstract : The complex behavior of computer systems offers many challenges for formal verification. The analysis quickly becomes difficult as the number of participating processes increases. A parameterized system is a family of systems parameterized on a number n, typically representing the number of participating processes. READ MORE
-
4. Creating Correct Network Protocols
Abstract : Network protocol construction is a complex and error prone task. The challenges originate both from the inherent complexity of developing correct program code and from the distributed nature of networked systems. Protocol errors can have devastating consequences. READ MORE
-
5. Reliability Evaluation of Packet Switched HF Networks
Abstract : .... READ MORE