Search Results for author:
Found 2 papers, 0 papers with code
A formal model for ledger management systems based on contracts and temporal logic
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.
SWift -- A SignWriting improved fast transcriber
SW is devised to allow deaf people and linguists alike to exploit an easy-to-grasp written form of (any) sign language.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
