Search for dissertations about: "run-time complexity"

Showing result 16 - 20 of 39 swedish dissertations containing the words run-time complexity.

2. 16. Designing Trustworthy Autonomous Systems

   Author : Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; System Trustworthiness; Reactive Synthesis; Monitoring and enforcement; Assume-Guarantee Contracts; Runtime verification; Autonomous Systems; Formal Verification; Reinforcement Learning;

   Abstract : The design of autonomous systems is challenging and ensuring their trustworthiness can have different meanings, such as i) ensuring consistency and completeness of the requirements by a correct elicitation and formalization process; ii) ensuring that requirements are correctly mapped to system implementations so that any system behaviors never violate its requirements; iii) maximizing the reuse of available components and subsystems in order to cope with the design complexity; and iv) ensuring correct coordination of the system with its environment. Several techniques have been proposed over the years to cope with specific problems. READ MORE

4. 17. Design and Analysis of Self-protection : Adaptive Security for Software Systems

   Author : Charilaos Skandylas; Narges Khakpour; Simin Nadjm-Tehrani; Linnéuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Security Analysis; Self-Protection; Self-adaptive Systems; Verification; Information Flow Control; Risk Assessment; Computer Science; Datavetenskap;

   Abstract : Today's software landscape features a high degree of complexity, frequent changes in requirements and stakeholder goals, and uncertainty.Uncertainty and high complexity imply a threat landscape where cybersecurity attacks are a common occurrence while their consequences are often severe. READ MORE

5. 18. Optimistic Replication with Forward Conflict Resolution in Distributed Real-Time Databases

   Author : Sanny Syberfeldt; Sten Andler; Jörgen Hansson; Sang H. Son; Alejandro Buchmann; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Distributed Systems; Real-Time Systems; Databases; Replication; Optimistic Protocol; Conflict Resolution; Computer science; Datalogi; Teknik;

   Abstract : In this thesis a replication protocol - PRiDe - is presented, which supports optimistic replication in distributed real-time databases with deterministic detection and forward resolution of transaction conflicts. The protocol is designed to emphasize node autonomy, allowing individual applications to proceed without being affected by distributed operation. READ MORE

6. 19. Scalable Self-Organizing Server Clusters with Quality of Service Objectives

   Author : Constantin Adam; Rolf Stadler; Giovanni Pacifici; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Telekommunikation; Autonomic computing; self-organization; decentralized control; web services; quality of service; Telekommunikation; Telecommunication; Telekommunikation;

   Abstract : Advanced architectures for cluster-based services that have been recently proposed allow for service differentiation, server overload control and high utilization of resources. These systems, however, rely on centralized functions, which limit their ability to scale and to tolerate faults. READ MORE

7. 20. Hierarchical Real Time Scheduling and Synchronization

   Author : Moris Behnam; Mikael Sjödin; Thomas Nolte; Björn Andersson; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer engineering; Datorteknik; Datavetenskap;

   Abstract :   The Hierarchical Scheduling Framework (HSF) has been introduced to enable compositional schedulability analysis and execution of embedded software systems with real-time constraints. In this thesis, we consider a system consisting of a number of semi-independent components called subsystems, and these subsystems are allowed to share logical resources. READ MORE