Sökning: "Timeliness of information"

Visar resultat 1 - 5 av 46 avhandlingar innehållade orden Timeliness of information.

  1. 1. Dimensions of Professionalism : A Study of Computer Science Teaching in Saudi Arabia

    Författare :Fayiq Alghamdi; Aletta Nylén; Arnold Pears; Erkki Sutinen; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot datavetenskapens didaktik; Computer Science with specialization in Computer Science Education Research;

    Sammanfattning : In Saudi Arabia, new computing education programs have been introduced in alignment with the Saudi Vision 2030, which is a plan launched in 2017 to reduce Saudi Arabia's reliance on oil, diversify its economy, and develop its health, education, recreation, infrastructure and tourism. Computer science is a rapidly changing area, which places high demands on teachers in the subject to develop both their subject and pedagogical competence. LÄS MER

  3. 2. A Mutation-based Framework for Automated Testing of Timeliness

    Författare :Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Testing; Timeliness; Real-time systems; Time constraints; Model-based; Mutation testing; Computer science; Datalogi;

    Sammanfattning : A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. LÄS MER

  4. 3. Testability of Dynamic Real-Time Systems

    Författare :Birgitta Lindström; Sten F. Andler; Jeff Offutt; Paul Pettersson; Zebo Peng; Lionel Briand; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Testability; Software testing; Real-time systems; Timeliness; Model-based testing; Computer science; Datalogi; Teknik;

    Sammanfattning : This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. LÄS MER

  5. 4. Resource-Predictable and Efficient Monitoring of Events

    Författare :Jonas Mellin; Sten F. Andler; Sharma Chakravarthy; Ulf Nilsson; Peter Fritzson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; composition; efficiency; event; formalization; monitoring; performance; predictability; real-time systems; time complexity; timeliness; Computer science; Datavetenskap;

    Sammanfattning : We present a formally specified event specification language (Solicitor). Solicitor is suitable for real-time systems, since it results in resource-predictable and efficient event monitors. LÄS MER

  7. 5. Age of Information Aware Communication Systems : Modeling and Performance Analysis

    Författare :Antzela Kosta; Vangelis Angelakis; Nikolaos Pappas; Viktoria Fodor; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Advances in wireless communications and networking technology have taken us towards a pervasively connected world in which a vast array of wireless devices, from mobile phones to environmental sensors, seamlessly communicate with each other. In many of these systems the freshness of the transmitted information is of high importance. LÄS MER