Search for dissertations about: "Implicit systems"

Showing result 1 - 5 of 117 swedish dissertations containing the words Implicit systems.

  2. 1. Dynamic Access Control for Industrial Systems

    Author : Björn Leander; Hans Hansson; Aida Causevic; Sasikumar Punnekkat; Tomas Lindström; Marina Krotofil; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cybersecurity; Industrial Automation and Control Systems; Industry 4.0; Access Control; Computer Science; datavetenskap;

    Abstract : Industrial automation and control systems (IACS) are taking care of our most important infrastructures, providing electricity and clean water, producing medicine and food, along with many other services and products we take for granted. The continuous, safe, and secure operation of such systems are obviously of great importance. READ MORE

  4. 2. Ontology for Information Systems (04IS) Design Methodology : Conceptualizing, Designing and Representing Domain Ontologies

    Author : Vandana Kabilan; Paul Johannesson; Andreas Opdahl; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Information science; computer science; Computer and systems science; Data- och systemvetenskap;

    Abstract : Globalization has opened new frontiers for business enterprises and human communication. There is an information explosion that necessitates huge amounts of information to be speedily processed and acted upon. READ MORE

  5. 3. Programming embedded real-time systems : implementation techniques for concurrent reactive objects

    Author : Simon Aittamaa; Mikael Sjödin; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Abstract : An embedded system is a computer system that is a part of a larger device with hardware and mechanical parts. Such a system often has limited resources (such as processing power, memory, and power) and it typically has to meet hard real-time requirements. READ MORE

  6. 4. Modeling and Formal Analysis of e-Health Systems

    Author : Ashalatha Kunnappilly; Cristina Seceleanu; Peter Backeman; Maria Lindén; Paola Inverardi; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : With the healthcare practice being increasingly dependent on digital processes and electronic communication, there is a need to support a variety of e-Health applications of different requirements, with respect to connectivity, low latency, and high reliability. The focus of this thesis is on providing formal assurance to systems supporting e-Health applications. READ MORE

  7. 5. Plug and play context-awareness for pervasive environments

    Author : Katharina Rasch; Ayani Rassul; Alois Ferscha; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; pervasive systems; context-awareness; service discovery; machine learning; automatic service annotation; preference mining;

    Abstract : Pervasive environments are physical environments interwoven with a rich set of embedded sensors, actuators and displays offering their services to the user. The considerable amount of computing technology in such environments should be as unobtrusive as possible, aiding the user in everyday activities instead of being distracting. READ MORE