Search for dissertations about: "guarantees"

Showing result 31 - 35 of 287 swedish dissertations containing the word guarantees.

  2. 31. Correctness and Safety in Planning and Control via State-Space Partitions and Barrier Functions

    Author : Xiao Tan; Dimos V. Dimarogonas; Samuel Coogan; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Dynamical systems; Control barrier functions; Optimeringslära och systemteori; Optimization and Systems Theory;

    Abstract : Autonomous systems have become increasingly prevalent in various industries, ranging from household cleaning robots to line inspection drones and copilot vehicles. Ensuring real-time safety is becoming a critical issue when the environment is rapidly changing. READ MORE

  4. 32. On the Foundations of Practical Language-Based Security

    Author : Maximilian Algehed; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Secure Multi-Execution; Parametricity; Programming Languages; Security;

    Abstract : Language-based information flow control (IFC) promises to provide programming languages and tools that make it easy for developers to write secure code. Traditionally, research in this field aims to build a variant on a programming language or system that lets developers write code that gives them strong guarantees beyond the potential memory- and type-safety guarantees of modern languages. READ MORE

  5. 33. Trust but verify: trust establishment mechanisms in infrastructure clouds

    Author : Nicolae Paladi; Ben Smeets; Stefan Saroiu; RISE; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; cloud computing infrastructure; security; trust;

    Abstract : In the cloud computing service model, users consume computation resources provided through the Internet, often without any awareness of the cloud service provider that owns and operates the supporting hardware infrastructure. This marks an important change compared to earlier models of computation, for example when such supporting hardware infrastructure was under the control of the user. READ MORE

  6. 34. Towards Efficiency and Quality Assurance in Threat Analysis of Software Systems

    Author : Katja Tuma; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Secure Software Design; Threat Analysis Modeling ; Secure Software Design; Threat Analysis Modeling ;

    Abstract : Context: Security threats have been a growing concern in many organizations. Organizations developing software products strive to plan for security as soon as possible to mitigate such potential threats. READ MORE

  7. 35. Themis v. Xiezhi: Assessing Judicial Independence in the People's Republic of China under International Human Rights Law

    Author : Jonas Grimheden; Raoul Wallenberg institutet för mänskliga rättigheter och humanitär rätt; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; China; judicial jndependence; international law; comparative law; independence of the judiciary; mänskliga rättigheter; human rights; Chinese law; law; judicial Reform; komparativ rätt;

    Abstract : The first of three parts in this study elaborates on international human rights law and drawing on the most essential international instruments and jurisprudence, the criteria constituting judicial independence are distilled as a framework for assessment. The point of departure is that judicial independence is a necessary guarantee for the enjoyment of human rights rather than a privilege of judges. READ MORE