Search
Now showing items 21-23 of 23
Formalizing dynamic behaviors of smart contract workflow in smart healthcare supply chain
(
Springer Science and Business Media Deutschland GmbH
, 2020 , Conference Paper)
We present a formal model for smart contract workflow using Colored Petri-Net in the context of a blockchain-based healthcare supply chain in this paper. Ensuring traceability of products is a crucial issue in a smart ...
Anomaly Detection in Blockchain-Enabled Supply Chain: An Ontological Approach
(
Springer Science and Business Media Deutschland GmbH
, 2022 , Conference Paper)
In our work, we propose an anomaly detection framework, for detecting anomalous transactions in business processes from transaction event logs. Such a framework will help enhance the accuracy of anomaly detection in the ...
Highlight on cryptocurrencies mining with CPUs and GPUs and their benefits based on their characteristics
(
Institute of Electrical and Electronics Engineers Inc.
, 2020 , Conference Paper)
Nowadays cryptography and their technologies have been with us for a long time. This field of science is developing day by day. Blockchain has come a long way since the birth of its first application. This application is ...