Search for dissertations about: "Simin Nadjm-tehrani"
Showing result 1 - 5 of 25 swedish dissertations containing the words Simin Nadjm-tehrani.
-
1. Contributions to the declarative approach to debugging Prolog programs
Abstract : Logic programs have the characteristic that their intended semantics can be expressed declaratively or operationally. Since the two semantics coincide, programmers may find it easier to adopt the declarative view when writing the program. But this causes a problem when the program is to be debugged. READ MORE
-
2. Disconnected Discoveries: Availability Studies in Partitioned Networks
Abstract : This thesis is concerned with exploring methods for making computing systems more resilient to problems in the network communication, both in the setting of existing infrastructure but also in the case where no infrastructure is available. Specifically, we target a situation called network partitions which means that a computer or device network is split in two or more parts that cannot communicate with each other. READ MORE
-
3. Restoring Consistency after Network Partitions
Abstract : The software industry is facing a great challenge. While systems get more complex and distributed across the world, users are becoming more dependent on their availability. As systems increase in size and complexity so does the risk that some part will fail. READ MORE
-
4. Security Standard Compliance in System of Systems
Abstract : The world we live in is becoming digitalized by transforming our society and economyin an unpredicted way. Digital technologies are transforming products, manufacturingassets, and entire supply chains. READ MORE
-
5. Utility-based Optimisation of Resource Allocation for Wireless Networks
Abstract : From providing only voice communications, wireless networks aim to provide a wide range of services in which soft real-time, high priority critical data, and best effort connections seamlessly integrate. Some of these applications and services have firm resource requirements in order to function properly (e.g. READ MORE