Sökning: "dynamic specification"

Visar resultat 1 - 5 av 72 avhandlingar innehållade orden dynamic specification.

  1. 1. 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

  3. 2. Spatial computable general equilibrium modelling : static and dynamic approaches

    Författare :Marcus Sundberg; Lars Lundqvist; Lars Westin; KTH; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP;

    Sammanfattning : This thesis concerns both static and dynamic modeling in a spatial computable general equilibrium setting. First, we have applied a static framework for the assessment of economic impacts of the Öresund bridge. Secondly, we make an attempt to enhance the static framework through the introduction of economic dynamics. LÄS MER

  4. 3. Mapping and integration of schema representations of component specefications

    Författare :Guy Davies; Love Ekenberg; Hamid Fujita; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; specification; first order logic; verification; service integration; conceptual modeling; conflict; shema dynamics; Datavetenskap; Computer science; Datavetenskap;

    Sammanfattning : Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. LÄS MER

  5. 4. Some aspects of statistical inference in systems of equations

    Författare :Ghazi Shukur; Statistiska institutionen; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Statistics; small sample properties.; misspecification; system of equations; dynamic specification; operations research; programming; actuarial mathematics; Statistik; operationsanalys; programmering; aktuariematematik;

    Sammanfattning : The objective of this thesis is to develop a strategy for statistical/econometric inferences applicable to systemwise testing of econometric models. A common deficiency in many applied econometric studies is the absence of statistical diagnostic testing. LÄS MER

  7. 5. Interpretive Functions of Adjectives in English : A Cognitive Approach

    Författare :Helena Frännhag; Carita Paradis; Kristin Davidse; Engelska; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; adjective; meaning; meaning creation; interpretation; formal interpretive function; semantic interpretive function; kind identification; element identification; identity provision; stipulation; specification; Languages and linguistics; Språkvetenskap; Lingvistik; Linguistics; Engelsk språkvetenskap; English; specification; stipulation; adjective; noun; meaning creation; cognitive semantics; interpretation; formal interpretive function; semantic interpretive function; kind identification; identity provision; element identification;

    Sammanfattning : This thesis presents a theoretical discussion of meaning creation in general, and interpretive functions of English adjectives in particular. The discussion rests on a dynamic view of meaning and interpretation, according to which there are no fixed linguistics meanings – not even for single lexemes. LÄS MER