default search action
FHIES 2012: Paris, France
- Jens H. Weber, Isabelle Perseil:
Foundations of Health Information Engineering and Systems - Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7789, Springer 2013, ISBN 978-3-642-39087-6 - Awatef Hicheur, Amel Ben Dhieb, Kamel Barkaoui:
Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets. 1-18 - Cristiano Bertolini, Zhiming Liu, Jirí Srba:
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. 19-36 - Michaela Huhn, Sara Bessling:
Enhancing Product Line Development by Safety Requirements and Verification. 37-54 - Alessandro Carlini, Pierluigi Dalla Rosa, Bartolomeo Montrucchio, Ivan Cenci, Francesca Maria Claudio, Giovanni Luongo, Jacopo Spigaroli, Giuseppina Gini:
Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability. 55-71 - Oisín Cawley, Xiaofeng Wang, Ita Richardson:
Regulated Software Development - An Onerous Transformation. 72-86 - Ryan Crichton, Deshendran Moodley, Anban W. Pillay, Richard Gakuba, Christopher J. Seebregts:
An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange. 87-104 - Rokan Uddin Faruqui, Wendy MacCaull:
O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes. 105-123 - Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein:
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. 124-141 - Felipe Maia, Rafael Viana Lopes Araújo, Luiz Carlos Muniz, Rayrone Zirtany, Luciano R. Coutinho, Samyr Vale, Francisco José Silva, Pierpaolo Cincilla, Ikram Chabbouh, Sébastien Monnet, Luciana Arantes, Marc Shapiro:
A Grid Based Distributed Cooperative Environment for Health Care Research. 142-150 - Dominique Méry, Neeraj Kumar Singh:
Closed-Loop Modeling of Cardiac Pacemaker and Heart. 151-166 - Elthon A. S. Oliveira, Leandro Dias da Silva, Hyggo Oliveira de Almeida, Angelo Perkusich:
Model-Based Solution for Controlling Physiology. 167-175 - Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu:
Automated Reviewing of Healthcare Security Policies. 176-193 - Adrian Rutle, Hao Wang, Wendy MacCaull:
A Formal Diagrammatic Approach to Compensable Workflow Modelling. 194-212 - Pieter Van Gorp, Irene T. P. Vanderfeesten, Willem Dalinghaus, Josh Mengerink, Bram van der Sanden, Pieter Leonard Kubben:
Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts. 213-221
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.