Search for dissertations about: "proof systems"

Showing result 1 - 5 of 272 swedish dissertations containing the words proof systems.

  2. 1. Advancing Automation in Digital Forensic Investigations

    Author : Irvin Homem; Panagiotis Papapetrou; Fredrik Blix; Indre Žliobaitė; Stockholms universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Digital Forensics; Machine Learning; Computer Forensics; Network Forensics; Predictive Modelling; Distributed Systems; Mobile Devices; Mobile Forensics; Memory Forensics; Android; Semantic Web; Hypervisors; Virtualization; Remote Acquisition; Evidence Analysis; Correlation; P2P; Bittorrent; Computer and Systems Sciences; data- och systemvetenskap;

    Abstract : Digital Forensics is used to aid traditional preventive security mechanisms when they fail to curtail sophisticated and stealthy cybercrime events. The Digital Forensic Investigation process is largely manual in nature, or at best quasi-automated, requiring a highly skilled labour force and involving a sizeable time investment. READ MORE

  4. 2. Hierarchical scheduling for predictable execution of real-time software components and legacy systems

    Author : Rafia Inam; Mikael Sjödin; Jukka Mäki-Turja; Moris Behnam; Giuseppe Lipari; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; real-time systems; component integration and reuse; hierarchical scheduling; multicore; Computer Science; datavetenskap;

    Abstract : This dissertation presents techniques to achieve predictable execution of coarse-grained software components and for preservation of temporal properties of components during their integration and reuse.The dissertation presents a novel concept runnable virtual node (RVN) which interaction with the environment is bounded both by a functional and a temporal interface, and the validity of its internal temporal behaviour is preserved when integrated with other components or when reused in a new environment. READ MORE

  5. 3. On Provably Correct Decision-Making for Automated Driving

    Author : Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    Abstract : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. READ MORE

  6. 4. Modeling and Timing Analysis of Industrial Component-Based Distributed Real-time Embedded Systems

    Author : Saad Mubeen; Mikael Sjödin; Jukka Mäki-Turja; Per Lindgren; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Distributed real-time embedded systems; component-based development; holistic response-time analysis; component model; timing model; Computer Science; datavetenskap;

    Abstract : The model- and component-based development approach has emerged as an attractive option for the development of Distributed Real-time Embedded (DRE) systems. In this thesis we target several issues such as modeling of legacy communication, extraction of end-to-end timing models and support for holistic response-time analysis of industrial component-based DRE systems. READ MORE

  7. 5. Towards a Predictable Component-Based Run-Time System

    Author : Rafia Inam; Mikael Sjödin; Jukka Mäki-Turja; Tullio Vardanega; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; real-time systems; component based software engineering; hierarchical scheduling; Computer Science; datavetenskap;

    Abstract : In this thesis we propose a technique to preserve the temporal properties of realtime components during their integration and reuse. We propose a new concept of runnable virtual node which is a coarse-grained real-time component that provides functional and temporal isolation with respect to its environment. READ MORE