Sökning: "formal control system"

Visar resultat 1 - 5 av 107 uppsatser innehållade orden formal control system.

  1. 1. Model Based Testing for Programmable Data Planes

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

    Författare :Gustav Rixon; [2023]
    Nyckelord :Model Based Testing; Programmable Data Planes; P4; Software- Defined Networking;

    Sammanfattning : The advent of Software Defined Networking (SDN) and programmable data planes has revolutionized the networking domain, enabling the programming of networking functions down to the silicon level responsible for data packet switching. Unfortunately, while this programmability offers greater flexibility and control, it also increases the likelihood of introducing software bugs. LÄS MER

  3. 2. Shoplifting in Japan and Sweden - A comparative analysis of social structures and sanctions in the 21st century

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Henrik Queckfeldt; [2023]
    Nyckelord :Comparative Law; Criminal law; Law; Shoplifting; Restorative justice; Informal Social Control; Japan; Sweden; Law and Political Science;

    Sammanfattning : 概要 本稿は、読者に2つの司法制度の包括的な概観を提供し、その後、いくつかの追加的な側面を検討する。分析の構成により、読者は、社会が公式・非公式の統制という観点からどのように機能しているかを含め、法制度がどのように構築されているかを確認することができる。本稿はまた、さまざまな制裁がどのように実施され、それが個人と社会に与える影響についても探求している。個々の章では詳細な分析を行わず、必要に応じて十分な説明を行うようにしている。万引きを犯罪の例として挙げているのは、明確な比較が可能だからである。本論文では、両国の修復的司法を幅広く検証し、正式な刑事司法制度への影響を軽減するための潜在的な方策を検討している。最後に、包括的な分析を行い、それぞれの国について法的改善のための提言を行う。.. LÄS MER

  4. 3. Framtidsfullmakter och finansinstitut: Ett fungerande system?

    Kandidat-uppsats, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Lovisa Almqvist; [2023]
    Nyckelord :bankrätt; förmögenhetsrätt; rättsvetenskap; Law and Political Science;

    Sammanfattning : In 2017, the Act on powers of attorney for the future (2017:310) was adopted with the aim of serving as an alternative to the system for limited guardians and administrators in the Parental Code (1949:381). The Act was introduced to give individuals the opportunity to control their future financial and person-al affairs. LÄS MER

  5. 4. Verksamhetsstyrning för miljömässig hållbarhet : Hur medelstora företag integrerar miljömässig hållbarhet i verksamhetsstyrningen

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för management (MAN)

    Författare :Jacob Dahl; Fanny Persson; Markus Ridemar; [2023]
    Nyckelord :Management control; Environmental sustainability; Sustainable development; Formal and informal controls; Medium-sized enterprises; Verksamhetsstyrning; Miljömässig hållbarhet; Hållbar utveckling; Formella och informella styrsystem; Medelstora företag;

    Sammanfattning : Bakgrund och problem: Hållbarhet är ett begrepp som har fått mer uppmärksamhet under de senaste åren på grund av klimatförändringar och förbrukning av naturresurser. Miljömässiga trender gör att miljökrav och förväntningar från intressenter och samhället ökar. LÄS MER

  7. 5. Formally Verified Remote Attestation Protocols with Strong Authentication

    Master-uppsats, Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska fakulteten

    Författare :Johannes Wilson; [2023]
    Nyckelord :;

    Sammanfattning : Most commodity processors available today provide hardware-supported security extensions. Remote attestation has been declared an important step towards providing security to users through such solutions, yet remote attestation has seen limited deployment in practice. LÄS MER