Published: 2016-08-01

Full Issue

PDF-vol-17-i-3

Proposal for Special Issue Papers

Introduction to the Special Issue on Reliability and Security of e-Health Information Systems

Kashif Saleem, Amjad Gawanmeh

iii-iv

PDF

Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis

Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh

150-170

PDF

Pravah: Parameterised Information Flow Control in e-Health

Chandrika Bhardwaj, Sanjiva Prasad

171-188

PDF

Analysis and Verification of XACML Policies in a Medical Cloud Environment

Meryeme Ayache, Mohammed Erradi, Ahmed Khoumsi, Bernd Freisleben

189-206

PDF

Resolving Conflicting Privacy Policies in M-health based on Prioritization

Souad Sadki, Hanan El Bakkali

207-226

PDF

Formal Verification of a Microfluidic Device for Blood Cell Separation

Amjad Gawanmeh, Anas Alazzam, Bobby Mathew

227-236

PDF

Research Papers

Solving the Table Maker's Dilemma on Current SIMD Architectures

Christophe Avenel, Pierre Fortin, Mourad Gouicem, Samia Zaidi

237-250

PDF

Communication-aware Approaches for Transparent Checkpointing in Cloud Computing

Samy Sadi, Belabbas Yagoubi

251-270

PDF