research
∙
01/10/2023
Active External Calls for Blockchain and Distributed Ledger Technologies: Debunking cited inability of Blockchain and DLT to make external calls
Blockchain and other distributed ledger technologies have enabled peer-t...
share
research
∙
05/13/2021
Towards External Calls for Blockchain and Distributed Ledger Technology
It is widely accepted that blockchain systems cannot execute calls to ex...
research
∙
04/15/2021
A Pragmatic Approach to Regulating Artificial Intelligence: A Technology Regulator's Perspective
Artificial Intelligence (AI) and the regulation thereof is a topic that ...
research
∙
11/16/2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Runtime verification is an area of formal methods that studies the dynam...
research
∙
08/24/2017