- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j7 |      | John O'Donoghue, John Herbert: Data Management within mHealth Environments: Patient Sensors, Mobile Devices, and Databases. J. Data and Information Quality 4(1): 5 (2012) |
| j6 | | Bingchuan Yuan, John Herbert: Fuzzy CARA - A Fuzzy-Based Context Reasoning System For Pervasive Healthcare. Procedia CS 10: 357-365 (2012) |
| c23 | | Bingchuan Yuan, John Herbert: A Fuzzy-Based Context Modeling and Reasoning Framework for CARA Pervasive Healthcare. ICOST 2012: 254-257 |
| 2011 | ||
| c22 | | Bingchuan Yuan, John Herbert: Real-Time Interactive Medical Consultation Using a Pervasive Healthcare Architecture. ICOST 2011: 215-219 |
| c21 | | Bingchuan Yuan, John Herbert: Web-based real-time remote monitoring for pervasive healthcare. PerCom Workshops 2011: 625-629 |
| 2009 | ||
| j5 | | Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Configuring storage-area networks using mandatory security. Journal of Computer Security 17(2): 191-210 (2009) |
| c20 | | John O'Donoghue, John Herbert, Philip O'Reilly, David Sammon: Towards Improved Information Quality: The Integration of Body Area Network Data within Electronic Health Records. ICOST 2009: 299-302 |
| 2008 | ||
| j4 | | Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: A Comprehensive Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. JNW 3(3): 57-70 (2008) |
| c19 | | John Herbert, John O'Donoghue, Xiang Chen: A Context-Sensitive Rule-Based Architecture for a Smart Building Environment. FGCN (2) 2008: 437-440 |
| c18 | | John O'Donoghue, John Herbert, David Sammon: Patient Sensors: A Data Quality Perspective. ICOST 2008: 54-61 |
| c17 | | John O'Donoghue, John Herbert, David Sammon, John Barton: Information Quality and Data Management within a Pervasive Medical Environment. ICIQ 2008: 368-381 |
| 2007 | ||
| c16 | | Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: Adding preemption to TinyOS. EmNets 2007: 88-92 |
| c15 | | Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: Improving the Energy Efficiency of the MANTIS Kernel. EWSN 2007: 261-276 |
| c14 | | Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. PerCom Workshops 2007: 267-271 |
| 2006 | ||
| j3 | | Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Reconfiguring Role Based Access Control policies using risk semantics. J. High Speed Networks 15(3): 261-273 (2006) |
| j2 | | Timothy O'Sullivan, John O'Donoghue, John Herbert, Richard Studdert: CAMMD: Context-Aware Mobile Medical Devices. J. UCS 12(1): 45-58 (2006) |
| c13 | | John Herbert, John O'Donoghue, Gao Ling, Kai Fei, Chien-Liang Fok: Mobile Agent Architecture Integration for a Wireless Sensor Medical Application. IAT Workshops 2006: 235-238 |
| c12 | | John O'Donoghue, John Herbert: Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environme. PerCom Workshops 2006: 570-574 |
| p1 | | Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart: Multilevel Security and Quality of Protection. Quality of Protection 2006: 93-105 |
| 2005 | ||
| c11 | | Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert: Trading Off Security in a Service Oriented Architecture. DBSec 2005: 295-309 |
| c10 | | |
| 2004 | ||
| c9 |  | Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Configuring Storage Area Networks for Mandatory Security. DBSec 2004: 357-370 |
| c8 | | Jing-Hua Ye, John Herbert: Framework for User Interface Adaptation. User Interfaces for All 2004: 167-174 |
| c7 | | Jing-Hua Ye, John Herbert: Interface Tailoring for Mobile Computing Devices. User Interfaces for All 2004: 175-184 |
| 1999 | ||
| c6 | | John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou: A Formalization of Software Architecture. World Congress on Formal Methods 1999: 116-133 |
| 1997 | ||
| c5 | | |
| 1993 | ||
| j1 | | Roger Hale, Rachel Cardell-Oliver, John Herbert: An Embedding of Timed Transition Systems in HOL. Formal Methods in System Design 3(1/2): 151-174 (1993) |
| 1992 | ||
| c4 | | Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel: Experience with Embedding Hardware Description Languages in HOL. TPCD 1992: 129-156 |
| c3 | | John Herbert: Incremental Design and Formal Verification of Microcoded Microporcessors. TPCD 1992: 157-174 |
| c2 | | Rachel Cardell-Oliver, Roger Hale, John Herbert: An Embedding of Timed Transition Systems in HOL. TPHOLs 1992: 263-278 |
| 1991 | ||
| c1 | | |
Colors in the list of coauthors
Last update Mon May 20 04:06:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page