Search for dissertations about: "system traces"

Showing result 1 - 5 of 77 swedish dissertations containing the words system traces.

  1. 1. Model-checking and Model-based Testing of Automotive Embedded Systems Starting from the System Architecture

    University dissertation from Västerås : Mälardalen University

    Author : Raluca Marinescu; Mälardalens högskola.; [2014]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. READ MORE

  2. 2. A time constrained real-time process calculus

    University dissertation from Luleå : Luleå tekniska universitet

    Author : Viktor Leijon; Luleå tekniska universitet.; [2008]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Abstract : There are two important questions to ask regarding the correct execution of a real-time program: (i) Is there a platform such that the program executes correctly? (ii) Does the program execute correctly on a particular platform? The execution of a program is correct if all actions are taken within their execution window, i.e. READ MORE

  3. 3. System Design for Opportunistic Networks

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Sylvia T. Kouyoumdjieva; KTH.; KTH.; [2015]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; opportunistic communication; system design; mobility; energy-saving mechanisms; device-to-device communication; mobile data offloading; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Device-to-device communication has been suggested as a complement to traditional cellular networks as a means of offloading cellular traffic. In this thesis we explore a solution for device-to-device communication based on opportunistic content distribution in a content-centric network. READ MORE

  4. 4. Opportunistic Content Distribution A System Design Approach

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Sylvia Todorova Kouyoumdjieva; KTH.; [2012]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : The penetration of smart pocket-size devices that provide constant Internet connectivity, such as mobile phones, has significantly changed the way people obtain, view and share information. Content provision is not anymore a prerogative to professionals; individuals are not solely customers, but also act as content generators and distributors. READ MORE

  5. 5. Privacy-aware Use of Accountability Evidence

    University dissertation from Karlstads universitet

    Author : Jenni Reuben; Karlstads universitet.; [2017]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Privacy; accountability; audit; evidence; system traces; provenance; access control; privacy compliance; security; Computer Science; Datavetenskap;

    Abstract : This thesis deals with the evidence that enable accountability, the privacy risks involved in using them and a privacy-aware solution to the problem of unauthorized evidence disclosure. Legal means to protect privacy of an individual is anchored on the data protection perspective i.e., on the responsible collection and use of personal data. READ MORE