Sökning: "Delft"

Visar resultat 1 - 5 av 24 avhandlingar innehållade ordet Delft.

  1. 1. A Policy Semantics and a Programming Language for Securing Software

    Författare :Bart van Delft; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; datalog; static enforcement; security policy language; information flow;

    Sammanfattning : The work presented in this thesis contributes to the information flowpolicy specification language Paralocks and the enforcement of Paralockspolicies in the programming language Paragon.The thesis starts with a programming tutorial on Paragon. LÄS MER

  3. 2. Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement

    Författare :Bart van Delft; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic policies; datalog; information flow control; enforcement; security condition;

    Sammanfattning : Information-flow control enforces security policies on the information handled by computer applications. These policies often contain dynamic aspects, specifying how the confidentiality and integrity of information changes over time. This thesis focuses on the enforcement of such dynamic policies. The contributions are divided into three parts. LÄS MER

  4. 3. Rhine cities - urban flood integration (UFI) : German and Dutch adaptation and mitigation strategies

    Författare :Cornelia Redeker; V.J. Meyer; Netherlands Delft Department of Urbanism Faculty of Architecture and The Built Environment Delft University of Technology; []
    Nyckelord :HUMANIORA; HUMANITIES; Flood management; Rhine; Germany; Netherlands; Urban Flood Integration; climate change; klimatförändringar; sustainability; hållbarhet; design; design;

    Sammanfattning : Flood Risk Management along the Rhine today combines river expanding measures and adaptive strategies with the existing defensive system to cope with the risk increase as a consequence of previous interventions and developments and fluctuations in water levels due to climate change. Differences in landscapes and urgencies and differences in planning cultures between the Upper and Lower Rhine and the Delta have also led to different strategic approaches. LÄS MER

  5. 4. Computational Modelling for Cavitation and Tip Vortex Flows

    Författare :Abolfazl Asnaghi; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cavitation; SST k − ω; OpenFOAM; Propeller; LES; Numerical simulation; Cur- vature correction; Elliptical foil; Inception; Twisted Delft foil;

    Sammanfattning : Cavitation often brings negative effects, such as performance degradation, noise, vibration, and material damage, to marine propulsion systems, but for optimum performance, cavitation is almost inevitable. Therefore, it is necessary to better understand cavitation in order to maximize the performance without encounter- ing severe problems. LÄS MER

  7. 5. Interactions between carbon and power markets in transition

    Författare :Jörn Constantin Richstein; Mehrdad Ghandhari Alavijh; Margot P.C. Weijnen; Laurens J. de Vries; Remco Verzijlbergh; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; EU ETS; carbon market; investment; electricity; agent-based modelling; EMLab-Generation; price floor; price ceiling; price corridor; market stabil- ity reserve; MSR; Energy Technology; Energiteknik; Economics; Nationalekonomi;

    Sammanfattning : In this research, several improvements to the European Union Emissions Trading System (EU ETS) were analysed. The EU ETS is a market for emission allowances and the European Union's main instrument for reducing greenhouse gas emissions (of which CO2 is the main component). LÄS MER