Search for dissertations about: "Computer model"

Showing result 16 - 20 of 2490 swedish dissertations containing the words Computer model.

  2. 16. Regular model checking

    Author : Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. READ MORE

  4. 17. A Resource-Aware Component Model for Embedded Systems

    Author : Aneta Vulgarakis; Ivica Crnkovic; Tiziana Margaria-Steffen; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; component based software engineering; formal modeling; embedded systems; resources; analysis; behavior; component model; Computer science; Datavetenskap; Computer Science; Datavetenskap;

    Abstract : Embedded systems are microprocessor-based systems that cover a large range of computer systems from ultra small computer-based devices to large systems monitoring and controlling complex processes. The particular constraints that must be met by embedded systems, such as timeliness, resource-use efficiency, short time-to-market and low cost, coupled with the increasing complexity of embedded system software, demand technologies and processes that will tackle these issues. READ MORE

  5. 18. A Study of Combinatorial Optimization Problems in Industrial Computer Systems

    Author : Markus Bohlin; Björn Lisper; Per Kreuger; Mikael Sjödin; Petru Eles; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Computer Science; datavetenskap;

    Abstract : A combinatorial optimization problem is an optimization problem where the number of possible solutions are finite and grow combinatorially with the problem size. Combinatorial problems exist everywhere in industrial systems. READ MORE

  6. 19. Model Checking Parameterized Timed Systems

    Author : Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

    Abstract : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. READ MORE

  7. 20. Securing IoT Using Decentralized Trust Privacy and Identity Management

    Author : Kazi Masum Sadique; Rahim Rahmani Chianeh; Paul Johannesson; Qinghua Wang; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Internet of Things IoT ; Decentralized Architecture; Distributed Ledger Technology; Edge Computing; Fog Computing; Security; Trust; Privacy; Identity management; data- och systemvetenskap; Computer and Systems Sciences;

    Abstract : The Internet of Things (IoT) is a multidisciplinary area where technology meets people, enriching their quality of life with an improved working environment and efficient productivity. As the number of IoT devices increases, many new technology areas are being integrated with the IoT. READ MORE