Search
Now showing items 21-28 of 28
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 ...
A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain
(
Institute of Electrical and Electronics Engineers Inc.
, 2020 , Conference Paper)
In most cities, the availability of parking is a major concern. The misuse of parking spots as drivers park for longer than permitted periods cause more delays, inconvenience to others, and even parking tickets. Moreover, ...
Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity
(
Institute of Electrical and Electronics Engineers Inc.
, 2020 , Conference Paper)
The Electronic Health Records (EHR) sharing system is the state of art for delivering healthcare. The tools within the system can predict outcomes during the patient's lifetime, monitor how effective are treatments, track ...
Adopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system
(
SciTePress
, 2020 , Conference Paper)
The Electronic Health Records (EHR) sharing system is the modern tool for delivering efficient healthcare to patients. Its functions include tracking of therapies, monitoring of the treatment effectiveness, prediction of ...
A formal model-based testing framework for validating an IoT solution for blockchain-based vehicles communication
(
SciTePress
, 2020 , Conference Paper)
The emergence of embedded and connected smart technologies, systems, and devices has enabled the concept of smart cities by connecting every "thing" to the Internet and in particular in transportation through the Internet ...
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 ...
Blockchain for the internet of vehicles: A decentralized IoT solution for vehicles communication using ethereum
(
MDPI AG
, 2020 , Article)
The concept of smart cities has become prominent in modern metropolises due to the emergence of embedded and connected smart devices, systems, and technologies. They have enabled the connection of every “thing” to the ...
Policy specification and verification for blockchain and smart contracts in 5G networks
(
Korean Institute of Communications Information Sciences
, 2020 , Article)
Blockchain offers unprecedented opportunities for innovation in financial transactions. A whole new world of opportunities for banking, lending, insurance, money transfer, investments, and stock markets awaits. However, ...