Vol. 17 No. 3 (2016)

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