scispace - formally typeset
J

John Herbert

Researcher at University College Cork

Publications -  66
Citations -  1003

John Herbert is an academic researcher from University College Cork. The author has contributed to research in topics: Cloud computing & Wireless sensor network. The author has an hindex of 16, co-authored 65 publications receiving 951 citations. Previous affiliations of John Herbert include SRI International & National University of Ireland.

Papers
More filters

Experience with Embedding Hardware Description Languages in HOL

TL;DR: Three languages are being investigated: ELLA, Silage and VHDL and the approaches taken for these languages are compared and current progress on building semantically-based theorem-proving tools is discussed.
Journal ArticleDOI

Context-aware hybrid reasoning framework for pervasive healthcare

TL;DR: A personalized, flexible, and extensible hybrid reasoning framework for CARA system in a smart home environment which provides context-aware sensor data fusion as well as anomaly detection mechanisms that supports activity of daily living analysis and alert generation and indicates the feasibility of the framework for effective at-home monitoring.
Journal ArticleDOI

Data Management within mHealth Environments: Patient Sensors, Mobile Devices, and Databases

TL;DR: A careful, precise approach to data based on the quality of the data and the context of its use is demonstrated, and the DMS architecture and the role of software agents in providing quality data management are emphasised.
Proceedings ArticleDOI

Web-based real-time remote monitoring for pervasive healthcare

TL;DR: The annotation of significant parts of the multi-modal monitored signals by the medical professional provides the basis for the automated intelligent analysis of the CARA system.
Journal ArticleDOI

Fuzzy CARA - A Fuzzy-Based Context Reasoning System For Pervasive Healthcare

TL;DR: A fuzzy-logic based context model and a related context-aware reasoning middleware that provides a personalized, flexible and extensible reasoning framework for CARA, and results indicate the feasibility of the system for e_ective at-home monitoring.