Sökning: "Simin Nadjm-Tehrani"

Visar resultat 1 - 5 av 25 avhandlingar innehållade orden Simin Nadjm-Tehrani.

  1. 1. Contributions to the declarative approach to debugging Prolog programs

    Författare :Simin Nadjm-Tehrani; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

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

  3. 2. Disconnected Discoveries: Availability Studies in Partitioned Networks

    Författare :Mikael Asplund; Simin Nadjm-Tehrani; Ulf Nilsson; Pascal Felber; Linköpings universitet; []
    Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

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

  4. 3. Restoring Consistency after Network Partitions

    Författare :Mikael Asplund; Simin Nadjm-Tehrani; Paul Ezhilchelvan; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed systems; fault tolerance; network partitions; dependability; integrity constraints; Computer science; Datalogi;

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

  5. 4. Security Standard Compliance in System of Systems

    Författare :Ani Bicaku; Jerker Delsing; Simin Nadjm-Tehrani; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Security; Standard; Security Standards; System of Systems; Industry 4.0; Digitization; Standard Compliance; Security Standards; Standardization Bodies; Internet of Things; Cyber Physical Systems; Elektroniksystem; Electronic systems;

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

  7. 5. Utility-based Optimisation of Resource Allocation for Wireless Networks

    Författare :Calin Curescu; Simin Nadjm-Tehrani; Linköpings universitet; []
    Nyckelord :wireless networks; QoS; utility price-based bandwidth; allocation optimisation; TECHNOLOGY; TEKNIKVETENSKAP;

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