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
    Axiomatizations from Structural Operational Semantics: Theory and Tools 
    Goriac, Eugen Ioan (Háskólinn í Reykjavík, 2013-03-24)
    Structural Operational Semantics (SOS) is a well known standard for specifying language semantics in a natural, yet rigorous way. Once a formal way of checking for the equivalence of two programs written in such a language is provided, it is of great ...
  • 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 ...