Sökning: "instantiation"

Visar resultat 16 - 20 av 39 avhandlingar innehållade ordet instantiation.

  1. 16. Assurance Aware Contract-based Design for Safety-critical Systems

    Författare :Irfan Sljivo; Hans Hansson; Barbara Gallina; Jan Carlson; Mario Trapp; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical systems are those systems whose malfunctioning can result in harm or loss of human life, or damage to property or the environment. Such systems usually need to comply with a domain-specific safety standard, which often require a safety case in form of an explained argument supported by evidence to show that the system is acceptably safe to operate in a given context. LÄS MER

  3. 17. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

    Författare :Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

    Sammanfattning : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER

  4. 18. Content Ontology Design Patterns: Qualities, Methods, and Tools

    Författare :Karl Hammar; Henrik Eriksson; Vladimir Tarasov; Eva Blomqvist; Harald Sack; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Ontology; Ontology Design Pattern; Quality Model; eXtreme Design; XDP; WebProtégé;

    Sammanfattning : Ontologies are formal knowledge models that describe concepts and relationships and enable data integration, information search, and reasoning. Ontology Design Patterns (ODPs) are reusable solutions intended to simplify ontology development and support the use of semantic technologies by ontology engineers. LÄS MER

  5. 19. Towards Optimization of Anomaly Detection Using Autonomous Monitors in DevOps

    Författare :Adha Hrusto; Programvarusystem; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Continuous practices including continuous integration, continuous testing, and continuous deployment are foundations of many software development initiatives. Another very popular industrial concept, DevOps, promotes automation, collaboration, and monitoring, to even more empower development processes. LÄS MER

  7. 20. Designing Advertisement Systems with Human-centered Artificial Intelligence

    Författare :Johannes Sahlin; Håkan Sundell; Gideon Mbiydzenyuy; Håkan Alm; Jesper Holgersson; Leona Chandra Kruse; Högskolan i Skövde; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Digital Advertisement Optimization; Design Knowledge; Information System Design Theory; Artificial Intelligence; Reinforcement Learning; Human-centered AI;

    Sammanfattning : Practitioners are urging using Artificial Intelligence (AI) to improve advertisements. Advertisers recognize the importance of incorporating AI into their strategies to remain competitive. LÄS MER