Sökning: "dynamic enforcement"

Visar resultat 11 - 15 av 30 avhandlingar innehållade orden dynamic enforcement.

1. 11. Engineering Trustworthy Self-Adaptive Autonomous Systems

   Författare :Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Learning; Monitoring and enforcement.; Automotive; System Trustworthiness; Autonomous Systems; Runtime verification; Formal Verification;

   Sammanfattning : Autonomous Systems (AS) are becoming ubiquitous in our society. Some examples are autonomous vehicles, unmanned aerial vehicles (UAV), autonomous trading systems, self-managing Telecom networks and smart factories. LÄS MER

3. 12. On the Foundations of Practical Language-Based Security

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

   Sammanfattning : 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. LÄS MER

4. 13. A Principled Approach to Securing IoT Apps

   Författare :Iulia Bastys; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; information flow control; design principles; IoT apps; Internet of Things;

   Sammanfattning : IoT apps are becoming increasingly popular as they allow users to manage their digital lives by connecting otherwise unconnected devices and services: cyberphysical “things” such as smart homes, cars, or fitness armbands, to online services such as Google or Dropbox, to social networks such as Facebook or Twitter. IoT apps rely on end-user programming, such that anyone with an active account on the platform can create and publish apps, with the majority of apps being created by third parties. LÄS MER

5. 14. Essays on Macroeconomics and Political Economy

   Författare :Jinfeng Ge; John Hassler; Espen Moen; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Relative price; Bargaining; Incomplete contract; Ricardian model of labor market; directed search; Free-rider problem; Markov perfect equilibrium; Economics; nationalekonomi;

   Sammanfattning : This thesis consists of three self-contained essays dealing with different aspects of macroeconomics and political Economy.The Relative Price of Investment Goods and Sectoral Contract DependenceI develop a quantitative model to explain the relationship between TFPs at the aggregate and sector levels and contracting institutions across countries. LÄS MER

7. 15. Adaptive QoS-aware resource allocation for wireless networks

   Författare :Calin Curescu; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : Wireless communication networks are facing a paradigm shift. From providing only voice communication, new generations of wireless networks are designed to provide different types of multimedia communications together with different types of data services and aim to seamlessly integrate in the big Internet infrastructure. LÄS MER