[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Model Checking Workflow Monitors and Its Application to a Pain Management Process

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Medical Protocol Diagnosis Using Formal Methods

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 423 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Challenges in eHealth: From Enabling to Enforcing Privacy

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 186 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 910 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Driven Architecture - Foundations and Applications Volume 5562 || MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis

✍ Paige, Richard F.; Hartman, Alan; Rensink, Arend 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 777 KB

The ?fth Edition Of The European Conference On Model-driven Architecture Foundations And Applications (ecmda-fa 2009) Was Dedicated To Furthering The State Of Knowledge And Fostering The Industrialization Of Model-driven - Chitecture (mda) And Model-driven Engineering (mde). Mda Is An Initiative Pro

[Lecture Notes in Electrical Engineering

[Lecture Notes in Electrical Engineering] Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering Volume 151 || Vehicle Detection Even in Poor Visibility Conditions Using Infrared Thermal Images and Its Application to Road Traffic Flow Monitoring

✍ Sobh, Tarek; Elleithy, Khaled 📂 Article 📅 2012 🏛 Springer New York 🌐 English ⚖ 671 KB

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Industrial Electronics, Technology & Automation, Telecommunications and Networking,

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applications of Graph Transformations with Industrial Relevance Volume 1779 || AHEAD: A Graph-Based System for Modeling and Managing Development Processes

✍ Nagl, Manfred; Schürr, Andreas; Münch, Manfred 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 1001 KB

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Model Checking Workflow Monitors and Its Application to a Pain Management Process

✦ Synopsis