Sökning: "session types"

Visar resultat 1 - 5 av 30 avhandlingar innehållade orden session types.

  1. 1. Languages, Logics, Types and Tools for Concurrent System Modelling

    Författare :Ramūnas Gutkovas; Johannes Borgström; Björn Victor; Thomas T. Hildebrandt; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; process calculus; modal logic; session types; tool; Computer Science; Datavetenskap;

    Sammanfattning : A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. LÄS MER

  3. 2. Skeletal muscle fiber types in man : With special reference to anabolic signaling and mitochondrial bioenergetics

    Författare :Sebastian Edman; William Apro; Filip J Larsen; Abram Katz; Leigh Breen; Gymnastik- och idrottshögskolan; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; mTORC1; THRIFTY; fiber type identification; muscle growth; aging; sarcopenia; mitochondrial function; oxphos; metabolism; Medicin Teknik; Medicine Technology;

    Sammanfattning : Human skeletal muscle consists of a mixture of slow-twitch (type I) and fast-twitch (type II) fibers. The type I fibers are endurance-oriented, with a metabolic system and infrastructure that supports aerobic metabolism. LÄS MER

  4. 3. A context-aware application mobility approach

    Författare :Dan Johansson; Christian Becker; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Application mobility; Context-Awareness; Peer-to-peer networking; Session mobility; Prototype evaluation; Pervasive Mobile Computing; Distribuerade datorsystem;

    Sammanfattning : Over the last two decades, mobile computing has gone from being a mere vision to becoming a reality, ubiquitously present in our everyday lives. There are different types of mobility, from user and terminal mobility, to mobility of services and sessions. LÄS MER

  5. 4. Fears, anxieties and cognitive-behavioral treatment of specific phobias in youth

    Författare :Lena Reuterskiöld; Lars-Göran Öst; C. Philip Kendall; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Specific phobia; one-session treatment; child anxiety; parenting; motivation; assessment; parent diagnoses; cognitive-behavioral therapy; Psychology; Psykologi; Clinical Psychology; klinisk psykologi;

    Sammanfattning : The present dissertation consists of three empirical studies on children and adolescents presenting with various specific phobias in Stockholm, Sweden and in Virginia, USA. The overall aim was to contribute to our understanding of childhood fears, anxiety and phobias and to evaluate the efficacy and portability of a one-session treatment of specific phobias in youth. LÄS MER

  7. 5. On Modelling and Analysing Concurrent Systems

    Författare :Karol Ostrovsky; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In order to verify program correctness one needs an appropriate programming language, a specification of the program correctness, and some methods to prove the program correct. We examine two of these aspects: a language for writing a particular kind of concurrent programs, that is modelling concurrent systems, and methods to prove certain correctness properties of concurrent programs, that is analysing concurrent systems. LÄS MER