![](https://dblp.org/img/logo.320x120.png)
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://fanyv88.com/img/search.dark.16x16.png)
default search action
John Herbert
2010 – 2019
- 2019
- [c49]Sara Mccloskey, John Herbert:
User Behaviour-Based Access Control for Social Media with Qualitative Research and Bayesian Modelling. COMPSAC (2) 2019: 575-579 - 2018
- [j9]Dapeng Dong
, John Herbert:
Content-Aware Partial Compression for Textual Big Data Analysis in Hadoop. IEEE Trans. Big Data 4(4): 459-472 (2018) - 2017
- [c48]Dapeng Dong
, John Herbert:
Compressed domain-specific data processing and analysis. IEEE BigData 2017: 325-330 - [c47]Rezvan Pakdel
, John Herbert:
Adaptive Cost Efficient Framework for Cloud-Based Machine Learning. COMPSAC (2) 2017: 155-160 - 2016
- [c46]Mohammad Hashemi, John Herbert:
Child-centred design supported by comprehensive child application use analysis. IDC 2016: 707-712 - [c45]Rezvan Pakdel
, John Herbert:
Efficient Cloud-Based Framework for Big Data Classification. BigDataService 2016: 195-201 - [c44]Mohammad Hashemi, John Herbert:
A Next Application Prediction Service Using the BaranC Framework. COMPSAC 2016: 519-523 - [c43]Mohammad Hashemi, John Herbert:
A Service-Oriented User Interaction Analysis Framework Supporting Adaptive Applications. COMPSAC Workshops 2016: 546-551 - [c42]Rezvan Pakdel
, John Herbert:
Scalable Cloud-Based Analysis Framework for Medical Big-Data. COMPSAC Workshops 2016: 647-652 - [c41]Mohammad Hashemi, John Herbert:
User interaction monitoring and analysis framework. MOBILESoft 2016: 7-8 - [c40]Mohammad Hashemi, John Herbert:
A pro-active and dynamic prediction assistance using BaranC framework. MOBILESoft 2016: 269-270 - 2015
- [c39]Dapeng Dong
, John Herbert:
Record-aware compression for big textual data analysis acceleration. IEEE BigData 2015: 1183-1190 - [c38]Rezvan Pakdel, John Herbert:
A Cloud-based Data Analysis Framework for Object Recognition. CLOSER 2015: 79-86 - [c37]Dapeng Dong
, John Herbert:
Record-Aware Two-Level Compression for Big Textual Data Analysis Acceleration. CloudCom 2015: 9-16 - [c36]Mohammad Hashemi, John Herbert:
Baran: An Interaction-centred User Monitoring Framework. PhyCS 2015: 52-60 - [c35]Samane Abdi, John Herbert:
An algorithm for distributed certificate chain discovery in open environments. SAC 2015: 2292-2298 - 2014
- [j8]Bingchuan Yuan, John Herbert:
Context-aware hybrid reasoning framework for pervasive healthcare. Pers. Ubiquitous Comput. 18(4): 865-881 (2014) - [c34]Dapeng Dong
, John Herbert:
Content-Aware Partial Compression for Big Textual Data Analysis Acceleration. CloudCom 2014: 320-325 - [c33]Dapeng Dong
, John Herbert:
FSaaS: File System as a Service. COMPSAC 2014: 149-154 - [c32]Bingchuan Yuan, John Herbert:
Accountability in a Context-Aware Smarthome Healthcare Reasoning System. COMPSAC Workshops 2014: 702-707 - [c31]Bingchuan Yuan, John Herbert:
A Cloud-Based Mobile Data Analytics Framework: Case Study of Activity Recognition Using Smartphone. MobileCloud 2014: 220-227 - [c30]Bingchuan Yuan, John Herbert, Yalda Emamian:
Smartphone-based Activity Recognition using Hybrid Classifier - Utilizing Cloud Infrastructure for Data Analysis. PECCS 2014: 14-23 - 2013
- [j7]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): 1035-1036 (2013) - [c29]Dapeng Dong
, John Herbert:
A Proactive Cloud Management Architecture for Private Clouds. IEEE CLOUD 2013: 701-708 - [c28]Dapeng Dong
, John Herbert:
Energy Efficient VM Placement Supported by Data Analytic Service. CCGRID 2013: 648-655 - [c27]Dapeng Dong, John Herbert:
Precise VM Placement Algorithm Supported by Data Analytic Service. CLOSER 2013: 463-468 - [c26]Bingchuan Yuan, John Herbert:
Hybrid Reasoning Framework for CARA Pervasive Healthcare. ICOST 2013: 126-133 - 2012
- [j6]John O'Donoghue, John Herbert:
Data Management within mHealth Environments: Patient Sensors, Mobile Devices, and Databases. ACM J. Data Inf. Qual. 4(1): 5:1-5:20 (2012) - [c25]Bingchuan Yuan, John Herbert:
A Fuzzy-Based Context Modeling and Reasoning Framework for CARA Pervasive Healthcare. ICOST 2012: 254-257 - [c24]Bruce Bennett, Chris Peterson, Dan Gilbert, Emre Ertekin, John Herbert, John Kim:
An enterprise-wide approach to GIG internet protocol multicast. MILCOM 2012: 1-6 - [c23]Bingchuan Yuan, John Herbert:
Fuzzy CARA - A Fuzzy-Based Context Reasoning System For Pervasive Healthcare. ANT/MobiWIS 2012: 357-365 - 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
2000 – 2009
- 2009
- [j5]Benjamin Aziz, Simon N. Foley
, John Herbert, Garret Swart:
Configuring storage-area networks using mandatory security. J. Comput. Secur. 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. J. Networks 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. Univers. Comput. Sci. 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]Jing-Hua Ye, John Herbert:
Adaptive User Interfaces Development Platform. INTERACT 2005: 1034-1037 - 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
1990 – 1999
- 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]John Herbert:
A Simple Algorithm Specification Language and its Application. IWFM 1997 - 1993
- [j1]Roger Hale, Rachel Cardell-Oliver, John Herbert:
An Embedding of Timed Transition Systems in HOL. Formal Methods Syst. Des. 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]John Herbert:
Dealing With Temporal Complexity in Hardware Verification. TPHOLs 1991: 13-21
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
![](https://fanyv88.com/img/new-feature-top-right.156x64.png)