1;Title Page;22;Preface;53;Organization;74;Table of Contents;105;Session 1: Telehealth and Mobile Health Solutions;105.1;Model Checking for Robotic Guided Surgery;145.1.1;Introduction;145.1.2;Transformation and Validation;155.1.2.1;Model Checking;155.1.3;Model Checking Examples;165.1.4;Results;165.1.5;Future Works;175.1.6;References;175.2;Intelligent Mobile Health Monitoring System (IMHMS);185.2.1;Introduction;185.2.2;System Architecture;205.2.3;Evaluation;235.2.4;Future Works and Conclusion;255.2.5;References;255.3;Mobile Health Access for Diabetics in Rural Areas of Turkey - Results of a Survey;265.3.1;Mobile Devices in eHealth;265.3.1.1;Providing Information to Patients;265.3.1.2;Transmission of Physiological Parameters;275.3.1.3;Alert of Patients or Medical Professionals with Critical Values;275.3.2;The eSana Framework;275.3.3;Survey;285.3.3.1;Introduction;295.3.3.2;Diabetes Application Context;295.3.3.3;ICT Infrastructure and Know-How of the Medical Professionals;305.3.3.4;Use of Mobile Technologies;305.3.3.5;Potential Effects of a Mobile Diabetes Solution;305.3.4;Conclusion and Outlook;315.3.4.1;Interpretation of the Survey Results;315.3.4.2;Components of a Mobile Diabetes Application;325.3.4.3;Outlook;325.3.5;References;336;Session 2: Outbreak Management, Web 2.0 and Public Health Communication;106.1;Early Warning and Outbreak Detection Using Social Networking Websites: The Potential of Twitter;346.1.1;Introduction;346.1.2;Methodology;356.1.2.1;Use of Twitter in This Study;356.1.3;Preliminary Results;356.1.4;Conclusion;376.1.5;References;376.2;Communicating with Public Health Organizations: AnInventory of Capacities in the European Countries;386.2.1;Introduction;386.2.2;The Use of Customer Relationship Management in Public Health;396.2.3;The ECDC Contacts and Organizations Database;396.2.4;References;406.3;Transparency and Documentation in Simulations of Infectious Disease Outbreaks: Towards Evidence-Based Public Health Decisions and Communications;416.3.1;Introduction;416.3.2;Methods;426.3.3;Results;436.3.3.1;Settings and User Groups;436.3.3.2;Implementation;446.3.3.3;'Swine flu' Use Example;446.3.4;Discussion;466.3.5;Conclusions;466.3.6;References;477;Session 3: EPR: Trust, Security and Decision Support;107.1;Prototyping a Personal Health Record Taking Social and Usability Perspectives into Account;487.1.1;Introduction;487.1.2;Personal Health Management in the Household;497.1.2.1;Methodology;497.1.2.2;Three Strategies of Health Information Management in the Household;497.1.2.3;Implications for System Design;507.1.3;System Design;517.1.3.1;Design Principle;517.1.3.2;Architectural Components;527.1.3.3;Underlying Data Model;527.1.4;Future Work;537.1.4.1;The Usability Evaluation Approach;537.1.4.2;The Target Users;537.1.4.3;Implication for the System Interface;547.1.5;Conclusions;547.1.6;References;557.2;Mixed-Initiative Argumentation: Group Decision Support in Medicine;567.2.1;Introduction;567.2.2;Formal Framework;597.2.3;Medical Group Decision Support System;617.2.4;Conclusion;637.2.5;References;638;Session 4: ICT Support for Patients and Healthcare Organizations;118.1;Enabling Technology to Advance Health-Protecting Individual Rights-Are We Walking the Talk?;648.1.1;Introduction;648.1.2;Potential of E-Health;658.1.3;Difficulty in Defining Ownership of Data;658.1.3.1;The Complexities of "Privacy" in a Networked World;668.1.3.2;Privacy Legislation;678.1.4;New Business Models - Need for Education, Accountability and New Legislation;688.1.4.1;Personalized Medicine;688.1.4.2;Personal Health Records and Personal Medical Monitoring;698.1.4.3;Need to Provide Education and Technical Assistance for Consumers;708.1.4.4;Need for Methods to Validate and to Ensure Accountability;718.1.4.5;Need for Legislation That Covers All Entities;718.1.5;Conclusion -- Enabling Technology to Advance Health -Protecting Individual Rights - Are We Walking