John Herbert

Publication Activity (10 Years)

Years Active: 1991-2019
Publications (10 Years): 11

Top Topics

Open Environments

User Interaction

Internet Protocol

Top Venues

COMPSAC Workshops

Publications

Sara Mccloskey, John Herbert
User Behaviour-Based Access Control for Social Media with Qualitative Research and Bayesian Modelling. COMPSAC (2) (2019)
Dapeng Dong, John Herbert
Content-Aware Partial Compression for Textual Big Data Analysis in Hadoop. IEEE Trans. Big Data 4 (4) (2018)
Rezvan Pakdel, John Herbert
Adaptive Cost Efficient Framework for Cloud-Based Machine Learning. COMPSAC (2) (2017)
Dapeng Dong, John Herbert
Compressed domain-specific data processing and analysis. IEEE BigData (2017)
Mohammad Hashemi, John Herbert
A Service-Oriented User Interaction Analysis Framework Supporting Adaptive Applications. COMPSAC Workshops (2016)
Mohammad Hashemi, John Herbert
Child-centred design supported by comprehensive child application use analysis. IDC (2016)
Rezvan Pakdel, John Herbert
Scalable Cloud-Based Analysis Framework for Medical Big-Data. COMPSAC Workshops (2016)
Rezvan Pakdel, John Herbert
Efficient Cloud-Based Framework for Big Data Classification. BigDataService (2016)
Mohammad Hashemi, John Herbert
A pro-active and dynamic prediction assistance using BaranC framework. MOBILESoft (2016)
Mohammad Hashemi, John Herbert
User interaction monitoring and analysis framework. MOBILESoft (2016)
Mohammad Hashemi, John Herbert
A Next Application Prediction Service Using the BaranC Framework. COMPSAC (2016)
Dapeng Dong, John Herbert
Record-Aware Two-Level Compression for Big Textual Data Analysis Acceleration. CloudCom (2015)
Rezvan Pakdel, John Herbert
A Cloud-based Data Analysis Framework for Object Recognition. CLOSER (2015)
Mohammad Hashemi, John Herbert
Baran: An Interaction-centred User Monitoring Framework. PhyCS (2015)
Dapeng Dong, John Herbert
Record-aware compression for big textual data analysis acceleration. IEEE BigData (2015)
Samane Abdi, John Herbert
An algorithm for distributed certificate chain discovery in open environments. SAC (2015)
Bingchuan Yuan, John Herbert
Context-aware hybrid reasoning framework for pervasive healthcare. Pers. Ubiquitous Comput. 18 (4) (2014)
Dapeng Dong, John Herbert
FSaaS: File System as a Service. COMPSAC (2014)
Bingchuan Yuan, John Herbert
A Cloud-Based Mobile Data Analytics Framework: Case Study of Activity Recognition Using Smartphone. MobileCloud (2014)
Dapeng Dong, John Herbert
Content-Aware Partial Compression for Big Textual Data Analysis Acceleration. CloudCom (2014)
Bingchuan Yuan, John Herbert, Yalda Emamian
Smartphone-based Activity Recognition using Hybrid Classifier - Utilizing Cloud Infrastructure for Data Analysis. PECCS (2014)
Bingchuan Yuan, John Herbert
Accountability in a Context-Aware Smarthome Healthcare Reasoning System. COMPSAC Workshops (2014)
David Sammon, John O'Donoghue, John Herbert, Kieran A. O'Connor
Special issue on IS/IT Applications for the Support of Older People. Int. J. Medical Informatics 82 (11) (2013)
Dapeng Dong, John Herbert
Precise VM Placement Algorithm Supported by Data Analytic Service. CLOSER (2013)
Dapeng Dong, John Herbert
Energy Efficient VM Placement Supported by Data Analytic Service. CCGRID (2013)
Dapeng Dong, John Herbert
A Proactive Cloud Management Architecture for Private Clouds. IEEE CLOUD (2013)
Bingchuan Yuan, John Herbert
Hybrid Reasoning Framework for CARA Pervasive Healthcare. ICOST (2013)
Bruce Bennett, Chris Peterson, Dan Gilbert, Emre Ertekin, John Herbert, John Kim
An enterprise-wide approach to GIG internet protocol multicast. MILCOM (2012)
Bingchuan Yuan, John Herbert
A Fuzzy-Based Context Modeling and Reasoning Framework for CARA Pervasive Healthcare. ICOST (2012)
John O'Donoghue, John Herbert
Data Management within mHealth Environments: Patient Sensors, Mobile Devices, and Databases. ACM J. Data Inf. Qual. 4 (1) (2012)
Bingchuan Yuan, John Herbert
Fuzzy CARA - A Fuzzy-Based Context Reasoning System For Pervasive Healthcare. ANT/MobiWIS (2012)
Bingchuan Yuan, John Herbert
Web-based real-time remote monitoring for pervasive healthcare. PerCom Workshops (2011)
Bingchuan Yuan, John Herbert
Real-Time Interactive Medical Consultation Using a Pervasive Healthcare Architecture. ICOST (2011)
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)
Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart
Configuring storage-area networks using mandatory security. J. Comput. Secur. 17 (2) (2009)
John O'Donoghue, John Herbert, David Sammon, John Barton
Information Quality and Data Management within a Pervasive Medical Environment. ICIQ (2008)
John O'Donoghue, John Herbert, David Sammon
Patient Sensors: A Data Quality Perspective. ICOST (2008)
John Herbert, John O'Donoghue, Xiang Chen
A Context-Sensitive Rule-Based Architecture for a Smart Building Environment. FGCN (2) (2008)
Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan
A Comprehensive Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. J. Networks 3 (3) (2008)
Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan
Improving the Energy Efficiency of the MANTIS Kernel. EWSN (2007)
Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan
Adding preemption to TinyOS. EmNets (2007)
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)
John O'Donoghue, John Herbert
Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environme. PerCom Workshops (2006)
Timothy O'Sullivan, John O'Donoghue, John Herbert, Richard Studdert
CAMMD: Context-Aware Mobile Medical Devices. J. Univers. Comput. Sci. 12 (1) (2006)
Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart
Reconfiguring Role Based Access Control policies using risk semantics. J. High Speed Networks 15 (3) (2006)
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)
Jing-Hua Ye, John Herbert
Adaptive User Interfaces Development Platform. INTERACT (2005)
Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert
Trading Off Security in a Service Oriented Architecture. DBSec (2005)
Jing-Hua Ye, John Herbert
Interface Tailoring for Mobile Computing Devices. User Interfaces for All (2004)
Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart
Configuring Storage Area Networks for Mandatory Security. DBSec (2004)
Jing-Hua Ye, John Herbert
Framework for User Interface Adaptation. User Interfaces for All (2004)
John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
A Formalization of Software Architecture. World Congress on Formal Methods (1999)
John Herbert
A Simple Algorithm Specification Language and its Application. IWFM (1997)
Roger Hale, Rachel Cardell-Oliver, John Herbert
An Embedding of Timed Transition Systems in HOL. Formal Methods Syst. Des. 3 (1/2) (1993)
John Herbert
Incremental Design and Formal Verification of Microcoded Microporcessors. TPCD (1992)
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)
Rachel Cardell-Oliver, Roger Hale, John Herbert
An Embedding of Timed Transition Systems in HOL. TPHOLs (1992)
John Herbert
Dealing With Temporal Complexity in Hardware Verification. TPHOLs (1991)