Sökning: "Model Checking"

Visar resultat 16 - 20 av 161 uppsatser innehållade orden Model Checking.

1. 16. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models

   Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

   Författare :Arvid Bergman Thörn; [2023]
   Nyckelord :Business Process Management; Imperative modelling; Declarative constraints; Conformance checking; Process querying; Process Mining;

   Sammanfattning : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. LÄS MER

3. 17. Reasoning about Moving Target Defense in Attack Modeling Formalisms

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Gabriel Ballot; [2022]
   Nyckelord :Timed Model checking; Cyber Security; Threat Modeling; Moving Target Defense; Tidsinställd modellkontroll; Cybersäkerhet; Hotmodellering; Moving Target Defense;

   Sammanfattning : Since 2009, Moving Target Defense (MTD) has become a new paradigm of defensive mechanism that frequently changes the state of the target system to confuse the attacker. This frequent change is costly and leads to a trade-off between misleading the attacker and disrupting the quality of service. LÄS MER

4. 18. Sensor fusion between positioning system and mixed reality

   Master-uppsats, Linköpings universitet/Tekniska fakulteten; Linköpings universitet/Institutionen för datavetenskap

   Författare :Anton Lifwergren; Jonsson Jonatan; [2022]
   Nyckelord :Sensor Fusion; MR; Mixed Reality; AR; Augmented Reality; Positioning; Local Positioning System; Transformation; Mining; Sensorfusion; MR; Mixed Reality; AR; Augmented Reality; Lokalt Positionerings System; Positionering; Transformation; Gruva;

   Sammanfattning : In situations where we want to use mixed reality systems over larger areas, it is necessary for these systems to maintain a correct orientation with respect to the real world. A solution for synchronizing the mixed reality and the real world over time is therefore essential to provide a good user experience. LÄS MER

5. 19. Using active learning for semi-automatically labeling a dataset of fisheye distorted images for object detection

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Författare :Olof Bourghardt; [2022]
   Nyckelord :Machine learning; Object detection; Computer vision; Semi-automatic data labeling; Fisheye images;

   Sammanfattning : Self-driving vehicles has become a hot topic in today's industry during the past years and companies all around the globe are attempting to solve the complex task of developing vehicles that can safely navigate roads and traffic without the assistance of a driver.  As deep learning and computer vision becomes more streamlined and with the possibility of using fisheye cameras as a cheap alternative to external sensors some companies have begun researching the possibility for assisted driving on vehicles such as electrical scooters to prevent injuries and accidents by detecting dangerous situations as well as promoting a sustainable infrastructure. LÄS MER

7. 20. Explainable Product Configuration for Telecom via Constraint Reasoning

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Paul Häusner; [2022]
   Nyckelord :;

   Sammanfattning : Product Configuration is one of the most successful applications of Artificial Intelligence and is widely adopted in industry. Nowadays,intelligent systems not only have to be able to generate outputs but these outputs are desired to be understandable and interpretable to humans. LÄS MER