دانلود کتاب Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

فهرست مطالب :

Front Matter....Pages -
Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets....Pages 1-18
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets....Pages 19-36
Enhancing Product Line Development by Safety Requirements and Verification....Pages 37-54
Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability....Pages 55-71
Regulated Software Development – An Onerous Transformation....Pages 72-86
An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange....Pages 87-104
O wl O nt DB : A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes....Pages 105-123
Trustworthy Pervasive Healthcare Services via Multiparty Session Types....Pages 124-141
A Grid Based Distributed Cooperative Environment for Health Care Research....Pages 142-150
Closed-Loop Modeling of Cardiac Pacemaker and Heart....Pages 151-166
Model-Based Solution for Controlling Physiology....Pages 167-175
Automated Reviewing of Healthcare Security Policies....Pages 176-193
A Formal Diagrammatic Approach to Compensable Workflow Modelling....Pages 194-212
Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts....Pages 213-221
Back Matter....Pages -