Sökning: "Delft"

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

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

    Författare :Bart van Delft; Chalmers University of Technology; []
    Nyckelord :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

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

    Författare :Bart van Delft; Chalmers University of Technology; []
    Nyckelord :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

  3. 3. Computational Modelling for Cavitation and Tip Vortex Flows

    Författare :Abolfazl Asnaghi; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; 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

  4. 4. Continuous improvement and experience feedback in off-site construction : timber-framed module prefabrication

    Författare :John Meiling; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Träbyggnad; Timber Structures; Construction Engineering and Management; Byggproduktion;

    Sammanfattning : Continuous improvement implies an incremental, ongoing effort to improve products, services or processes. Some construction companies have chosen to face competition by adopting an off-site construction strategy, one form of which is timber-framed module prefabrication. LÄS MER

  5. 5. European Short-term Electricity Market Designs under High Penetration of Wind Power

    Författare :José Pablo Chaves Avila; Mehrdad Ghandhari; Laurens de Vries; KTH; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : .... LÄS MER