Opin vísindi

Fletta eftir efnisorði "Prófanir"

Fletta eftir efnisorði "Prófanir"

Röðun: Raða: Niðurstöður:

  • Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; sirjani, marjan (Springer Science and Business Media LLC, 2016-01-25)
    We present an extension of the actor model with real-time, including deadlines associated with messages, and explicit application-level scheduling policies, e.g.,"earliest deadline first" which can be associated with individual actors. Schedulability ...
  • Hvannberg, Ebba Thora (Springer Nature, 2013-11-13)
    With the advances in information technology and its increasing impact on humans and society, there has been an expanding need to spread knowledge from domain to domain. This need is not least in the area of human–computer interaction, which includes a ...
  • Reynouard, Raphaël (2024-11-14)
    The field of model checking offers numerous tools for analysing stochastic models. This analysis provides a comprehensive understanding of the behaviours exhibited by the system represented in the model. Consequently, such analyses are of paramount ...