Search
Now showing items 1-10 of 10
Adopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system
(
SciTePress
, 2020 , Conference)
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 ...
Bringing Coordination Languages Back to the Future Using Blockchain Smart Contracts
(
Association for Computing Machinery
, 2021 , Conference)
This paper presents a blockchain extension of the run-time Sensing as a Service SOA (3SOA) approach presented in [5]. 3SOA defines a practical approach for implementing service-oriented Internet of Things (IoT) using ...
Using Sparse Matrices to Prevent Information Leakage in Cloud Computing
(
Institute of Electrical and Electronics Engineers Inc.
, 2018 , Conference)
Cloud computing represents the promise of outsourcing of scientific computing such as matrix multiplication. However, this can introduce new vulnerabilities such as information leakage. Cloud server intentionally or ...
The similarity-aware relational intersect database operator
(
Springer International Publishing
, 2014 , Conference)
Identifying similarities in large datasets is an essential operation in many applications such as bioinformatics, pattern recognition, and data integration. To make the underlying database system similarity-aware, the core ...
A scalable solution for finding overlaps between sequences using map-reduce
(
The International Society for Computers and Their Applications (ISCA)
, 2016 , Conference)
The overlap stage of a string graph-based assembler is considered one of the most time- and space-consuming stages in any de novo overlap-based assembler. This is due to the huge output of the next-generation sequencing ...
Similarity Group-by Operators for Multi-Dimensional Relational Data
(
IEEE Computer Society
, 2016 , Conference)
The SQL group-by operator plays an important role in summarizing and aggregating large datasets in a data analytics stack. While the standard group-by operator, which is based on equality, is useful in several applications, ...
Skyline Discovery and Composition of Multi-Cloud Mashup Services
(
Institute of Electrical and Electronics Engineers
, 2016 , Article)
A cloud mashup is composed of multiple services with shared datasets and integrated functionalities. For example, the elastic compute cloud (EC2) provided by Amazon Web Service (AWS), the authentication and authorization ...
Privacy preserving computation in cloud using noise-free fully homomorphic encryption (FHE) schemes
(
Springer Verlag
, 2016 , Conference)
With the wide adoption of cloud computing paradigm, it is important to develop appropriate techniques to protect client data privacy in the cloud. Encryption is one of the major techniques that could be used to achieve ...
Ensemble deep learning for Alzheimer’s disease characterization and estimation
(
Springer Nature
, 2024 , Article)
Alzheimer’s disease, which is characterized by a continual deterioration of cognitive abilities in older people, is the most common form of dementia. Neuroimaging data, for example, from magnetic resonance imaging and ...
A Defense Mechanism Against LOKI Attacks in Federated Learning for Enhancing Big Data Privacy in Mobile Systems
(
Institute of Electrical and Electronics Engineers (IEEE)
, 2024 , Conference)
With the exponential growth of mobile applications, Android systems have become a significant source of big data which provides both vast opportunities and substantial privacy challenges. This makes it essential to adopt ...