[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Challenges in eHealth: From Enabling to Enforcing Privacy

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Medical Protocol Diagnosis Using Formal Methods

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 423 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 507 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Model Checking Workflow Monitors and Its Application to a Pain Management Process

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 465 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 910 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes of the Institute for Comp

[Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering] Security and Privacy in Mobile Information and Communication Systems Volume 47 || A Privacy-Enabled Architecture for Location-Based Services

✍ Schmidt, Andreas U.; Russello, Giovanni; Lioy, Antonio; Prasad, Neeli R.; Lian, 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 201 KB

Mobisec 2010 Was The Second Icst Conference On Security And Privacy In Mobile Information And Communication Systems. With The Vast Area Of Mobile Technology Research And Application, The Intention Behind The Creation Of Mobisec Was To Make A Small, But Unique Contribution To Build A Bridge Between T

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Information Engineering and Systems Volume 7789 || Closed-Loop Modeling of Cardiac Pacemaker and Heart

✍ Weber, Jens; Perseil, Isabelle 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 523 KB

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Challenges in eHealth: From Enabling to Enforcing Privacy

✦ Synopsis