Search
Now showing items 1-6 of 6
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 ...
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 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, ...
How sustainable is electric mobility? A comprehensive sustainability assessment approach for the case of Qatar
(
Elsevier
, 2019 , Article)
Electric mobility is a trending topic around the world, and many countries are supporting electric vehicle technologies to reduce environmental impacts from transportation such as greenhouse gas emissions and air pollution ...
Life cycle sustainability assessment of sport utility vehicles: The case for Qatar
(
Springer Verlag
, 2020 , Article)
Electric vehicle technologies are attractive alternatives to traditional vehicles towards achieving sustainable transportation. The adoption of these technologies has a great potential in reducing road transportation ...