Sökning: "Protocols"

Visar resultat 1 - 5 av 1077 avhandlingar innehållade ordet Protocols.

  1. 1. Creating Correct Network Protocols

    Författare :Oskar Wibling; Joachim Parrow; Parosh Abdulla; Ansgar Fehnker; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; network protocols; formal methods; verification; testing; routing protocols; wireless ad hoc networks; model checking; graph transformation; infinite-state systems; Computer science; Datavetenskap;

    Sammanfattning : Network protocol construction is a complex and error prone task. The challenges originate both from the inherent complexity of developing correct program code and from the distributed nature of networked systems. Protocol errors can have devastating consequences. LÄS MER

  3. 2. Extended certificate management system : design and protocols

    Författare :Nada Kapidzic Cicovic; KTH; []
    Nyckelord :;

    Sammanfattning : This thesis presents an Extended Certificate ManagementSystem (ECMS), a possible solution for a global certificationinfrastructure. The system is based on a combined trust modelthat interconnects different types of security domains, fromindividual users, small organisations to arbitrarily complexorganisations. LÄS MER

  4. 3. Adaptive Personal Mobile Communication : Service Architecture and Protocols

    Författare :Theo Kanter; Gerald Maguire; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  5. 4. Gaussian conversion protocols forcubic phase state generation

    Författare :Yu Zheng; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Continuous variables; Cubic phasestate; Quantum computing; Universality; Gaussian protocols;

    Sammanfattning : This licentiate thesis will introduce the background of the appended paper. The scope of this thesis is to find a Gaussian conversion protocol that allows one to prepare cubic phase states, which are resourceful states for achieving universality in continuous-variable quantum computation. LÄS MER

  7. 5. Design and analysis with observational data : Protocols and modeling with the aim of causal inference

    Författare :Paulina Jonéus; Mattias Nordin; Per Johansson; Jenny Häggström; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; observational studies; protocols guidelines; epidemiology; public health; prostate disease; Statistics; Statistik;

    Sammanfattning : This thesis consists of six papers that study the design and analysis with observational data.There is a growing interest in using real-world evidence (RWE) for regulatory purposes. The belief is that observational data can make drug developmentmore efficient and speed up patient access to new drugs. LÄS MER