John Herbert

According to our database, John Herbert authored at least 58 papers between 1991 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

User Behaviour-Based Access Control for Social Media with Qualitative Research and Bayesian Modelling.

Sara Mccloskey, John Herbert

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Content-Aware Partial Compression for Textual Big Data Analysis in Hadoop.

Dapeng Dong, John Herbert

IEEE Trans. Big Data, 2018

2017

Adaptive Cost Efficient Framework for Cloud-Based Machine Learning.

Rezvan Pakdel, John Herbert

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Compressed domain-specific data processing and analysis.

Dapeng Dong, John Herbert

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016

A pro-active and dynamic prediction assistance using BaranC framework.

Mohammad Hashemi, John Herbert

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

User interaction monitoring and analysis framework.

Mohammad Hashemi, John Herbert

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Scalable Cloud-Based Analysis Framework for Medical Big-Data.

Rezvan Pakdel, John Herbert

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A Service-Oriented User Interaction Analysis Framework Supporting Adaptive Applications.

Mohammad Hashemi, John Herbert

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A Next Application Prediction Service Using the BaranC Framework.

Mohammad Hashemi, John Herbert

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Efficient Cloud-Based Framework for Big Data Classification.

Rezvan Pakdel, John Herbert

Proceedings of the Second IEEE International Conference on Big Data Computing Service and Applications, 2016

Child-centred design supported by comprehensive child application use analysis.

Mohammad Hashemi, John Herbert

Proceedings of the The 15th International Conference on Interaction Design and Children, 2016

2015

An algorithm for distributed certificate chain discovery in open environments.

Samane Abdi, John Herbert

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Baran: An Interaction-centred User Monitoring Framework.

Mohammad Hashemi, John Herbert

Proceedings of the PhyCS 2015 - Proceedings of the 2nd International Conference on Physiological Computing Systems, ESEO, Angers, Loire Valley, France, 11, 2015

Record-Aware Two-Level Compression for Big Textual Data Analysis Acceleration.

Dapeng Dong, John Herbert

Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

A Cloud-based Data Analysis Framework for Object Recognition.

Rezvan Pakdel, John Herbert

Proceedings of the CLOSER 2015, 2015

Record-aware compression for big textual data analysis acceleration.

Dapeng Dong, John Herbert

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

2014

Context-aware hybrid reasoning framework for pervasive healthcare.

Bingchuan Yuan, John Herbert

Pers. Ubiquitous Comput., 2014

Smartphone-based Activity Recognition using Hybrid Classifier - Utilizing Cloud Infrastructure for Data Analysis.

Bingchuan Yuan, John Herbert, Yalda Emamian

Proceedings of the PECCS 2014, 2014

A Cloud-Based Mobile Data Analytics Framework: Case Study of Activity Recognition Using Smartphone.

Bingchuan Yuan, John Herbert

Proceedings of the 2nd IEEE International Conference on Mobile Cloud Computing, 2014

Accountability in a Context-Aware Smarthome Healthcare Reasoning System.

Bingchuan Yuan, John Herbert

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

FSaaS: File System as a Service.

Dapeng Dong, John Herbert

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Content-Aware Partial Compression for Big Textual Data Analysis Acceleration.

Dapeng Dong, John Herbert

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013

Special issue on IS/IT Applications for the Support of Older People.

David Sammon, John O'Donoghue, John Herbert, Kieran A. O'Connor

Int. J. Medical Informatics, 2013

Hybrid Reasoning Framework for CARA Pervasive Healthcare.

Bingchuan Yuan, John Herbert

Proceedings of the Inclusive Society: Health and Wellbeing in the Community, and Care at Home, 2013

Precise VM Placement Algorithm Supported by Data Analytic Service.

Dapeng Dong, John Herbert

Proceedings of the CLOSER 2013, 2013

Energy Efficient VM Placement Supported by Data Analytic Service.

Dapeng Dong, John Herbert

Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013

A Proactive Cloud Management Architecture for Private Clouds.

Dapeng Dong, John Herbert

Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012

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

Bingchuan Yuan, John Herbert

Proceedings of the 3rd International Conference on Ambient Systems, 2012

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

John O'Donoghue, John Herbert

ACM J. Data Inf. Qual., 2012

An enterprise-wide approach to GIG internet protocol multicast.

Bruce Bennett, Chris Peterson, Dan Gilbert, Emre Ertekin, John Herbert, John Kim

Proceedings of the 31st IEEE Military Communications Conference, 2012

A Fuzzy-Based Context Modeling and Reasoning Framework for CARA Pervasive Healthcare.

Bingchuan Yuan, John Herbert

Proceedings of the Impact Analysis of Solutions for Chronic Disease Prevention and Management, 2012

2011

Web-based real-time remote monitoring for pervasive healthcare.

Bingchuan Yuan, John Herbert

Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

Real-Time Interactive Medical Consultation Using a Pervasive Healthcare Architecture.

Bingchuan Yuan, John Herbert

Proceedings of the Toward Useful Services for Elderly and People with Disabilities, 2011

2009

Configuring storage-area networks using mandatory security.

Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart

J. Comput. Secur., 2009

Towards Improved Information Quality: The Integration of Body Area Network Data within Electronic Health Records.

John O'Donoghue, John Herbert, Philip O'Reilly, David Sammon

Proceedings of the Ambient Assistive Health and Wellness Management in the Heart of the City, 2009

2008

A Comprehensive Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems.

Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan

J. Networks, 2008

Information Quality and Data Management within a Pervasive Medical Environment.

John O'Donoghue, John Herbert, David Sammon, John Barton

Proceedings of the 13th International Conference on Information Quality, 2008

Patient Sensors: A Data Quality Perspective.

John O'Donoghue, John Herbert, David Sammon

Proceedings of the Smart Homes and Health Telematics, 6th International Conference, 2008

A Context-Sensitive Rule-Based Architecture for a Smart Building Environment.

John Herbert, John O'Donoghue, Xiang Chen

Proceedings of the Second International Conference on Future Generation Communication and Networking, 2008

2007

An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems.

Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan

Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007

Improving the Energy Efficiency of the MANTIS Kernel.

Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan

Proceedings of the Wireless Sensor Networks, 2007

Adding preemption to TinyOS.

Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan

Proceedings of the 4th Workshop on Embedded Networked Sensors, 2007

2006

Multilevel Security and Quality of Protection.

Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart

Proceedings of the Quality of Protection - Security Measurements and Metrics, 2006

CAMMD: Context-Aware Mobile Medical Devices.

Timothy O'Sullivan, John O'Donoghue, John Herbert, Richard Studdert

J. Univers. Comput. Sci., 2006

Reconfiguring Role Based Access Control policies using risk semantics.

Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart

J. High Speed Networks, 2006

Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environme.

John O'Donoghue, John Herbert

Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

Mobile Agent Architecture Integration for a Wireless Sensor Medical Application.

John Herbert, John O'Donoghue, Gao Ling, Kai Fei, Chien-Liang Fok

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

2005

Adaptive User Interfaces Development Platform.

Jing-Hua Ye, John Herbert

Proceedings of the Human-Computer Interaction, 2005

Trading Off Security in a Service Oriented Architecture.

Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert

Proceedings of the Data and Applications Security XIX, 2005

2004

Interface Tailoring for Mobile Computing Devices.

Jing-Hua Ye, John Herbert

Proceedings of the User-Centered Interaction Paradigms for Universal Access in the Information Society, 2004

Framework for User Interface Adaptation.

Jing-Hua Ye, John Herbert

Proceedings of the User-Centered Interaction Paradigms for Universal Access in the Information Society, 2004

Configuring Storage Area Networks for Mandatory Security.

Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart

Proceedings of the Research Directions in Data and Applications Security XVIII, 2004

1999

A Formalization of Software Architecture.

John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou

Proceedings of the FM'99 - Formal Methods, 1999

1997

A Simple Algorithm Specification Language and its Application.

John Herbert

Proceedings of the 1st Irish Workshop on Formal Methods, 1997

1993

An Embedding of Timed Transition Systems in HOL.

Roger Hale, Rachel Cardell-Oliver, John Herbert

Formal Methods Syst. Des., 1993

1992

Incremental Design and Formal Verification of Microcoded Microporcessors.

John Herbert

Proceedings of the Theorem Provers in Circuit Design, 1992

Experience with Embedding Hardware Description Languages in HOL.

Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel

Proceedings of the Theorem Provers in Circuit Design, 1992

1991

Dealing With Temporal Complexity in Hardware Verification.

John Herbert

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991