Sökning: "network protocols"

Visar resultat 1 - 5 av 246 avhandlingar innehållade orden network 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. Network capacity sharing with QoS as a financial derivative pricing problem : algorithms and network

    Författare :Lars Rasmusson; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : A design of an automatic network capacity markets, often referred to as a bandwidth market, is presented. Three topics are investigated. First, a network model is proposed. The proposed model is based upon a trisection of the participant roles into network users, network owners, and market middlemen. LÄS MER

  4. 3. Network capacity sharing with QoS as a financial derivative pricing problem : algorithms and network design

    Författare :Lars Rasmusson; KTH; []
    Nyckelord :Computer network architecture; bandwidth trading; inter-domain Quality-of-Service; pricing; combinatorial allocation; financial derivative pricing; stochastic modeling;

    Sammanfattning : A design of anautomatic network capacity markets, oftenreferred to as a bandwidth market, is presented. Three topicsare investigated. First, a network model is proposed. Theproposed model is based upon a trisection of the participantroles into network users, network owners, and market middlemen. LÄS MER

  5. 4. Human factors and wireless network applications : more bits and better bits

    Författare :Greger Wikstrand; Lars-Erik Janlert; Jerry Eriksson; Mark Högskolan Dalarna Ekonomi och samhälle Dougherty; Angela Sasse; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Human factors; Mobile multimedia; Access protocols; Computer network performance; Quality of service; Video conferencing; Computer games; Streaming video; Medium access control; Collision detection; Reliable multicast; Computer science; Datavetenskap;

    Sammanfattning : I avhandlingen beskrivs ett hypotetiskt system som kan användas av mobila användare, bland andra taxichaufförer, som exempelvis vill följa en viktig fotbollsmatch. Flera faktorer ställer till problem: Ibland står bilen still och föraren har inget annat att tänka på än matchen. LÄS MER

  7. 5. Restoring Consistency after Network Partitions

    Författare :Mikael Asplund; Simin Nadjm-Tehrani; Paul Ezhilchelvan; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed systems; fault tolerance; network partitions; dependability; integrity constraints; Computer science; Datalogi;

    Sammanfattning : The software industry is facing a great challenge. While systems get more complex and distributed across the world, users are becoming more dependent on their availability. As systems increase in size and complexity so does the risk that some part will fail. LÄS MER