/LC.GIF&client=easterncarolinaedu)
Foundations of health information engineering and systems second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012 : revised selected papers / Jens Weber, Isabelle Perseil, editors.
| Author/creator | FHIES (Symposium) |
| Other author | Weber, Jens (Professor of Software Engineering) |
| Other author | Perseil, Isabelle. |
| Format | Electronic |
| Publication Info | Heidelberg : Springer, [2013] |
| Description | x, 221 pages : illustrations ; 24 cm. |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2013 English International |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Variant title | FHIES 2012 |
| Series | Lecture notes in computer science, 0302-9743 ; 7789 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 7789. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering. |
| Contents | Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets / Awatef Hicheur, Amel Ben Dhieb -- Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets / Cristiano Bertolini, Zhiming Liu, Jiří Srba -- Enhancing Product Line Development by Safety Requirements and Verification / Michaela Huhn, Sara Bessling -- Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability / Alessandro Carlini, Pierluigi Dalla Rosa -- Regulated Software Development -- An Onerous Transformation / Oisín Cawley, Xiaofeng Wang, Ita Richardson -- An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange / Ryan Crichton, Deshendran Moodley -- O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes / Rokan Uddin Faruqui, Wendy MacCaull -- Trustworthy Pervasive Healthcare Services via Multiparty Session Types / Anders S. Henriksen, Lasse Nielsen -- A Grid Based Distributed Cooperative Environment for Health Care Research / Felipe Maia, Rafael Araújo -- Closed-Loop Modeling of Cardiac Pacemaker and Heart / Dominique Méry, Neeraj Kumar Singh -- Model-Based Solution for Controlling Physiology / Elthon Oliveira, Leandro Silva -- Automated Reviewing of Healthcare Security Policies / Nafees Qamar, Johannes Faber, Yves Ledru -- A Formal Diagrammatic Approach to Compensable Workflow Modelling / Adrian Rutle, Hao Wang, Wendy MacCaull -- Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts / Pieter Van Gorp, Irene Vanderfeesten. |
| Bibliography note | Includes bibliographical references and author index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2013940617 |
| ISBN | 9783642390876 (alk. paper) |
| ISBN | 3642390870 (alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |