Zobrazeno 1 - 10
of 147
pro vyhledávání: '"Banach, Richard"'
Autor:
Bayan, Talgar, Banach, Richard
\This paper presents a novel decentralized autonomous organization (DAO) model leveraging non-fungible tokens (NFTs) for advanced access control and privacy-preserving interactions within a Punishment not Reward (PnR) blockchain framework. The propos
Externí odkaz:
http://arxiv.org/abs/2405.13156
Autor:
Bayan, Talgar, Banach, Richard
In recent years, permissionless blockchains have gained significant attention for their ability to secure and provide transparency in transactions. The development of blockchain technology has shifted from cryptocurrency to decentralized finance, ben
Externí odkaz:
http://arxiv.org/abs/2305.01038
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2024 139
Publikováno v:
In Internet of Things October 2023 23
Autor:
Banach, Richard
Publikováno v:
In Science of Computer Programming July 2023
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
EPTCS 55, 2011, pp. 121-138
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The dif
Externí odkaz:
http://arxiv.org/abs/1106.4097
Autor:
Banach, Richard, Baugh, John
Publikováno v:
Banach, R & Baugh, J 2023, Formalisation, Abstraction and Refinement of Bond Graphs . in The 16th International Conference on Graph Transformation . vol. 13961, pp. 145–162, 16th International Conference on Graph Transformation, Leicester, United Kingdom, 19/07/23 . https://doi.org/10.1007/978-3-031-36709-0_8
Bond graphs represent the structure and functionality of mechatronic systems from a power flow perspective. Unfortunately, presentations of bond graphs are replete with ambiguity, significantly impeding understanding. A formalisation of the essential
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3818::eae9ece28a0aa1074bcb302907bd1398
https://research.manchester.ac.uk/en/publications/c0be983d-ecdd-46b0-a922-f7392df321f8
https://research.manchester.ac.uk/en/publications/c0be983d-ecdd-46b0-a922-f7392df321f8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.