Advanced search

Showing result 1 - 5 of 140 essays matching the above criteria.

  1. 1. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Vibha Satyam; [2023-10-25]
    Keywords : Architecture Model; UML diagram; implementation; coding; conformance checking; mapping schema; parsing tool;

    Abstract : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. READ MORE

  3. 2. SeqLTL and ωLTL

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Oskar Grekula; [2023-10-19]
    Keywords : Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Abstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE

  4. 3. What are the odds of civil war? Investigating the relationship between quality of government, voter turnout, civil war, and the Democratic peace theory

    University essay from Göteborgs universitet/Institutionen för globala studier

    Author : Salome Nordberg; [2023-10-05]
    Keywords : Quality of government; civil war; voter turnout; democratic peace theory; logistic regression;

    Abstract : The aim of this thesis is to quantitatively investigate the relationship between the quality of government, voter turnout, and civil war. By doing a hypothesistesting analysis through logistic regression. READ MORE

  5. 4. Probabilistic guarantees in model-checking with Time Petri Nets

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Manon Lecart; [2023]
    Keywords : Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Abstract : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. READ MORE

  6. 5. The Impact of the Retrieval Text Set for Text Sentiment Classification With the Retrieval-Augmented Language Model REALM

    University essay from KTH/Matematik (Inst.)

    Author : Oscar Blommegård; [2023]
    Keywords : The Impact of the Retrieval Text Set for Text Sentiment Classification With the Retrieval-Augmented Language Model REALM; Hämtningsförstärkta språkmodeller; Natural Language Processing; Transformers; Djupinlärning; Textklassificering;

    Abstract : Large Language Models (LLMs) have demonstrated impressive results across various language technology tasks. By training on large corpora of diverse text collections from the internet, these models learn to process text effectively, allowing them to acquire comprehensive world knowledge. READ MORE