Essays about: "formal systems model"

Showing result 1 - 5 of 90 essays containing the words formal systems model.

  1. 1. Unequal Seats, Unsteady Trust : Inequality of Representation and Confidence in Parliament in Bicameral Systems

    University essay from Uppsala universitet/Statsvetenskapliga institutionen

    Author : Steven Hemingway; [2024]
    Keywords : ;

    Abstract : The number of countries with bicameral systems declined enormously throughout the 20th century, as countries like Sweden and Denmark abolished their upper houses, and numerous other countries weakened the formal powers of their upper chambers. Existing research suggests that legitimacy is a critical factor in the survival of bicameralism, but scholarship on legitimacy in bicameral systems is limited. READ MORE

  3. 2. Code Synthesis for Heterogeneous Platforms

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

    Author : Zhouxiang Fu; [2023]
    Keywords : Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Abstract : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. READ MORE

  4. 3. 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

  5. 4. The industry adoption of innovative safety-analysis approaches for autonomous vehicles : A case study exploring the industry adoption of model-based safety analysis

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : Sam Khogasteh; [2023]
    Keywords : ;

    Abstract : In recent years, autonomous vehicles have been gaining traction as a technology that can revolutionize society and save approximately $800 billion per year in the U.S. alone. However, due to their complex and dynamic behavior, ensuring the safety of these vehicles has proven to be a challenge for traditional safety analysis methods. READ MORE

  6. 5. Implications for Management Control in the Transition towards Hybrid Work - A Case Study of a Professional Service Firm

    University essay from Lunds universitet/Företagsekonomiska institutionen

    Author : Nils Arthursson; Sergi Rodríguez I Rovira; [2023]
    Keywords : Management control; Managerial intention; Professional service firm; Remote work; Hybrid work; Business and Economics;

    Abstract : Purpose: The aim of this thesis is to explore the transition towards a hybrid work model and the implications it may have on the use and adaptation of management control within PSFs. The purpose is further to highlight the reasons behind the adaptations of MCS. READ MORE