Advanced search

Showing result 1 - 5 of 95 swedish dissertations matching the above criteria.

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

    Author : Raluca Marinescu; Cristina Seceleanu; Bernhard Aichernig; Mälardalens högskola; []
    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

  4. 2. System Design for Opportunistic Networks

    Author : Sylvia T. Kouyoumdjieva; Gunnar Karlsson; Andrea Passarella; KTH; []
    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

  5. 3. Opportunistic Content Distribution : A System Design Approach

    Author : Sylvia Todorova Kouyoumdjieva; Gunnar Karlsson; Martin May; KTH; []
    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

  6. 4. Privacy-aware Use of Accountability Evidence

    Author : Jenni Reuben; Simone Fischer-Hübner; Siani Pearson; Karlstads universitet; []
    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

  7. 5. A time constrained real-time process calculus

    Author : Viktor Leijon; Luleå tekniska universitet; []
    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