Opin vísindi

Fletta eftir efnisorði "Hugbúnaðargerð"

Fletta eftir efnisorði "Hugbúnaðargerð"

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

  • Icon
    Compositional schedulability analysis of real-time actor-based systems 
    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 ...
  • Icon
    iContractBot: A chatbot for smart contracts’ specification and code generation 
    Qasse, Ilham; Mishra, Shailesh; Hamdaqa, Mohammad (IEEE, 2021-06)
    Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and challenging due to the lack of tools and expertise in this field. A promising ...