Sökning: "Compositional data"

Visar resultat 6 - 10 av 77 avhandlingar innehållade orden Compositional data.

  1. 6. Procedure-Modular Verification of Temporal Safety Properties

    Författare :Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER

  3. 7. Algorithmic Verification Techniques for Mobile Code

    Författare :Irem Aktug; Dilian Gurov; Mads Dam; Ulfar Erlingsson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Verification; Mobile Code Security; Reference Monitoring; Maximal Models; Compositional Verification; Theoretical computer science; Teoretisk datalogi;

    Sammanfattning : Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can  be divided into two steps. LÄS MER

  4. 8. Towards Intent-Driven Systems

    Författare :Johan Silvander; Mikael Svahnberg; Andreas Jacobsson; Blekinge Tekniska Högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; business intent; business support system; intent-driven system; compositional system;

    Sammanfattning : Context: Software supporting an enterprise’s business, also known as a business support system, needs to support the correlation of activities between actors as well as influence the activities based on knowledge about the value networks in which the enterprise acts. This can be supported with the help of intent-driven systems. LÄS MER

  5. 9. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies

    Författare :Hugo Flordal; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; nonblocking; finite state automata; verification; controllability; Discrete event systems; model reduction; synthesis; interlocking; supervisory control;

    Sammanfattning : The work presented in this thesis concerns verification and synthesis in the Ramadge and Wonham supervisory control framework. Supervisory control constitutes a formal framework for the design of supervisors for discrete event systems. LÄS MER

  7. 10. On Bicompositional Correlation

    Författare :Jakob Bergman; Statistiska institutionen; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Joint correlation coefficient; Empirical confidence coefficient; Dirichlet distribution; Correlation; Composition; Compositional data; Random variate generation; Simplex;

    Sammanfattning : A composition is a vector of positive components summing to a constant, usually taken to be 1. Hitherto the research on compositional correlation has mainly focused on the correlation between the components of composition. This thesis is concerned with modelling the correlation between two compositions. LÄS MER