Blar i tittel Mastergradsoppgaver i informatikk

Viser treff 94-100 av 100

    • Trading network performance for cash in the bitcoin blockchain 

      Tedeschi, Enrico (Master thesis; Mastergradsoppgave, 2017-11-15)
      This thesis describes a longitudinal study of Bitcoin, the perhaps most popular blockchain based system today. Public blockchains have emerged as a plausible messaging substrate for applications that require highly reliable communication. However, sending messages over existing blockchains can be cumbersome and costly as miners require payment to establish consensus on the sequence of messages, ...

    • Tram-tastic Cloud Computing 

      Baig, Mirza Aneeq Hassan (Mastergradsoppgave; Master thesis, 2023-05-14)
      This master’s thesis evaluates the scalability and cost-effectiveness of the AWS cloud platform used to collect and utilize data generated by the 87 digitally equipped trams. The SL-18 Cloud Platform was developed before the trams arrived, and resource configuration estimates were made to handle the data generated by the trams. However, with a few trams currently operational, it is crucial to evaluate ...

    • Triggering the next nudge 

      Ottestad, Thomas Forsgren (Mastergradsoppgave; Master thesis, 2022-08-26)
      The aim of this thesis is to establish if a smart nudging system using triggers could be used to better understand the user and their situation as well as aiding in selecting a target activity as part of a complete smart nudging system. Explore how such a system can be used to determine when a user should be nudged and how it can learn from feedback from the user to make changes to itself and ...

    • User profiling for diverse user contexts 

      Karlsen, Jan Tore (Master thesis; Mastergradsoppgave, 2015-05-14)
      The amount of content available for consumption online is increasing tremendously. This make the job of recommender systems more important, and at the same time, more demanding. Context-aware recommender systems might be a solution to this problem. This work set out to discover user contexts dynamically by collecting contextual information from user actions and perform cluster analysis on the ...

    • Verification of the Chord protocol in TLA+ 

      Lund, Jørgen Aarmo (Master thesis; Mastergradsoppgave, 2019-05-15)
      In traditional software engineering methodologies, software correctness is established through testing and progressive fault mitigation. Safety properties are established by demonstrating that a sufficiently large number of test cases fail to violate them. In contrast, formal verification methods permit a systems design process where desired safety properties are stated outright in the system ...

    • WallMon : Interactive distributed monitoring of process-level resource usage on display and compute clusters 

      Nilsen, Arild (Master thesis; Mastergradsoppgave, 2011-11)
      To achieve low overhead, traditional cluster monitoring systems sample data at low frequencies and with coarse granularity. However, interactive monitoring requires frequent (up to 60 Hz) sampling of fine-grained data and visualization tools that can explore and display data in near real-time. This makes traditional cluster monitoring systems unsuited for interactive monitoring of distributed cluster ...

    • ZeroComm: Decentralized, Secure and Trustful Group Communication 

      Witharanage, Yasiru Rathsara (Mastergradsoppgave; Master thesis, 2023-05-15)
      In the context of computer networks, decentralization is a network architecture that distributes both workload and control of a system among a set of coequal participants. Applications based on such networks enhance trust involved in communication by eliminating the external author- ities with self-interests, including governments and tech companies. The decentralized model delegates the ownership ...