A Modal Specification Approach for On-Demand Medical Systems (English)
- New search for: King, Andrew L.
- New search for: Feng, Lu
- New search for: Sokolsky, Oleg
- New search for: Lee, Insup
- New search for: King, Andrew L.
- New search for: Feng, Lu
- New search for: Sokolsky, Oleg
- New search for: Lee, Insup
In:
Foundations of Health Information Engineering and Systems
7
;
199-216
;
2014
- Article/Chapter (Book) / Electronic Resource
-
Title:A Modal Specification Approach for On-Demand Medical Systems
-
Contributors:King, Andrew L. ( author ) / Feng, Lu ( author ) / Sokolsky, Oleg ( author ) / Lee, Insup ( author )
-
Published in:Lecture Notes in Computer Science ; 8315, 7 ; 199-216
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2014-01-01
-
Size:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Intelligent Tools for Reducing Medication Dispensing and Administration ErrorTsai, Pei-Hsuan / Liu, Jane W. S. et al. | 2014
- 22
-
Panel Position StatementsDube, Kudakwashe / Moodley, Deshendran / Thies, Bill / Liu, Jane W. S. / Cafazzo, Joseph / Sokolsky, Oleg et al. | 2014
- 32
-
Modelling Care Pathways in a Connected Health SettingO’Leary, Padraig / Buckley, Patrick / Richardson, Ita et al. | 2014
- 41
-
A Resource Flow Approach to Modelling Care PathwaysO’Leary, Padraig / Noll, John / Richardson, Ita et al. | 2014
- 59
-
ICT-powered Health Care ProcessesCarbone, Marco / Christensen, Anders Skovbo / Nielson, Flemming / Nielson, Hanne R. / Hildebrandt, Thomas / Sølvkjær, Martin et al. | 2014
- 69
-
Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary UseDube, Kudakwashe / Gallagher, Thomas et al. | 2014
- 87
-
Insulin Pump Software CertificationChen, Yihai / Lawford, Mark / Wang, Hao / Wassyng, Alan et al. | 2014
- 107
-
An Ontology for Regulating eHealth Interoperability in Developing African CountriesMoodley, Deshendran / Seebregts, Christopher J. / Pillay, Anban W. / Meyer, Thomas et al. | 2014
- 125
-
Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare ApplicationsCavalini, Luciana Tricai / Cook, Timothy Wayne et al. | 2014
- 146
-
A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual ObservationsKhalid, Sara / Clifton, David A. / Tarassenko, Lionel et al. | 2014
- 159
-
Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency DepartmentSantos, Mauro D. / Clifton, David A. / Tarassenko, Lionel et al. | 2014
- 170
-
Early Fault Detection Using Design Models for Collision Prevention in Medical EquipmentMooij, Arjan J. / Hooman, Jozef / Albers, Rob et al. | 2014
- 188
-
OR.NET: Safe Interconnection of Medical DevicesKühn, Franziska / Leucker, Martin et al. | 2014
- 199
-
A Modal Specification Approach for On-Demand Medical SystemsKing, Andrew L. / Feng, Lu / Sokolsky, Oleg / Lee, Insup et al. | 2014
- 217
-
Towards Formal Safety Analysis in Feature-Oriented Product Line DevelopmentBessling, Sara / Huhn, Michaela et al. | 2014
- 236
-
An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance TestingBrandt, Pascal / Moodley, Deshendran / Pillay, Anban W. / Seebregts, Christopher J. / Oliveira, Tulio et al. | 2014
- 254
-
Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning ProblemZanamwe, Ngonidzashe / Dube, Kudakwashe / Thomson, Jasmine S. / Mtenzi, Fredrick J. / Hapanyengwi, Gilford T. et al. | 2014
- 274
-
A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical DataLiu, Zhiming / Qamar, Nafees / Qian, Jie et al. | 2014