Zobrazeno 1 - 10
of 259
pro vyhledávání: '"Bottoni, Paolo"'
Smart contracts show a high potential for ensuring that Supply Chain Management strategies make a qualitative leap toward higher levels of optimality, not only in terms of efficiency and profitability but also in the aggregation of skills aimed at cr
Externí odkaz:
http://arxiv.org/abs/2205.06766
A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test. In second-generation bloc
Externí odkaz:
http://arxiv.org/abs/2109.15212
Publikováno v:
Proceedings of the International Working Conference on Advanced Visual Interfaces, ACM - Association for Computer Machinery, pp.390 - 393, 2012, ACM AVI2012, 978-1-4503-1287-5
We present SWift (SignWriting improved fast transcriber), an advanced editor for computer-aided writing and transcribing using SignWriting (SW). SW is devised to allow deaf people and linguists alike to exploit an easy-to-grasp written form of (any)
Externí odkaz:
http://arxiv.org/abs/1911.10882
Autor:
Bottoni, Paolo, Di Ciccio, Claudio, Pareschi, Remo, Tortola, Domenico, Gessa, Nicola, Massa, Gilda
Publikováno v:
In Blockchain: Research and Applications June 2023 4(2)
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:
In Blockchain: Research and Applications March 2022 3(1)
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 231, 2016, pp. 1-15
We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this approach the type system is incorporated with the graph and elements can ad
Externí odkaz:
http://arxiv.org/abs/1612.01637
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.
This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based on graphs, morphisms and operations from category theory and exploits t
Externí odkaz:
http://arxiv.org/abs/1003.3338