Sökning: "Kontrakt"

Visar resultat 11 - 15 av 670 uppsatser innehållade ordet Kontrakt.

1. 11. An initial investigation of Automatic Program Repair for Solidity Smart Contracts with Large Language Models

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

   Författare :Erik Cruz; [2023]
   Nyckelord :Automatic Program Repair; APR; Large Language Models; LLM; Smart Contracts; Smart Contract Audit; Chat GPT; Cybersecurity; Automatisk Lagning av Kod; Stora språkmodeller; Smarta Kontrakt; Granskning av Smarta Kontrakt; Chat GPT; Cybersäkerhet;

   Sammanfattning : This thesis investigates how Large Language Models can be used to repair Solidity Smart Contracts automatically through the main contribution of this thesis, the Transformative Repair Tool. The Transformative Repair Tool achieves similar results to current state-of-the-art tools on the Smartbugs Curated Dataset and is the first published tool that uses Large Language Models to repair Solidity Smart Contracts. LÄS MER

3. 12. Assessment of servitization capabilities in the manufacturing industry from a maturity perspective

   Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

   Författare :Isak Wallin; [2023]
   Nyckelord :Servitization; Capabilities; Product-service system; PSS; Assessment framework; Manufacturing industry; Service innovation; Maturity analysis; Exploratory study; Cross-case analysis; Case study; Qualitative; Eisenhardt’s method; Tjänstefiering; Förmågor; Product-tjänste system; PSS; Bedömningsverktyg; Tillverkningsindustri; Tjänsteinnovation; Mognadsanalys; Explorativ studie; korsanalys; Fallstudier; Kvalitativ; Eisenhardt’s metod;

   Sammanfattning : Investigating servitization capabilities in the manufacturing industry, through a maturity profile analysis. The purpose is to increase understanding of the relationship between capabilities and the contingency revolving maturity through an exploratory study that seeks to increase the knowledge of shared and divergent capabilities through cross-case analysis of organization incumbent to different maturity stages of servitization. LÄS MER

4. 13. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

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

   Författare :Zelin Yu; [2023]
   Nyckelord :Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

   Sammanfattning : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. LÄS MER

5. 14. Flexible Future : Exploring The Effects of Real Time Prices on Swedish Households’ Price Responsiveness

   Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

   Författare :Arvid Jonsson; Theo Målsten; [2023]
   Nyckelord :;

   Sammanfattning : The exceptionally high electricity prices in Sweden during 2022 changed the common view about electricity consumption and an increasing number of households switched from fixed or monthly contracts to real time price (RTP) contracts. Historically, there has been a limited amount of real user data on RTP customers and their consumption behaviors. LÄS MER

7. 15. Kontraktuella detaljers påverkan på samarbete i byggsektorn

   Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Byggproduktion

   Författare :Alfred Jonelid; [2023]
   Nyckelord :Samarbete; kontrakt; ofullständiga kontrakt; transaktionella kontrakt; Technology and Engineering;

   Sammanfattning : Filosofin ''Lean construction'' förklarar hur värdeskapande kan maximeras till följd av samarbete. Studiens syfte är att utforska kontraktuella detaljers påverkan på samarbete i byggsektorn. Den är utformad efter en kvalitativ metodteori där fokus inte bara placeras på handlingar, utan även deras innebörd. LÄS MER