John Herbert - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 59 from 59

2019

User Behaviour-Based Access Control for Social Media with Qualitative Research and Bayesian ModellingSara Mccloskey, John Herbert. compsac 2019: 575-579 [doi]

2018

Content-Aware Partial Compression for Textual Big Data Analysis in HadoopDapeng Dong, John Herbert. tbd, 4(4):459-472, 2018. [doi]

2017

Compressed domain-specific data processing and analysisDapeng Dong, John Herbert. bigdataconf 2017: 325-330 [doi]

Adaptive Cost Efficient Framework for Cloud-Based Machine LearningRezvan Pakdel, John Herbert. compsac 2017: 155-160 [doi]

2016

A pro-active and dynamic prediction assistance using BaranC frameworkMohammad Hashemi, John Herbert. ICSE 2016: 269-270 [doi]

A Service-Oriented User Interaction Analysis Framework Supporting Adaptive ApplicationsMohammad Hashemi, John Herbert. compsac 2016: 546-551 [doi]

User interaction monitoring and analysis frameworkMohammad Hashemi, John Herbert. ICSE 2016: 7-8 [doi]

A Next Application Prediction Service Using the BaranC FrameworkMohammad Hashemi, John Herbert. compsac 2016: 519-523 [doi]

Child-centred design supported by comprehensive child application use analysisMohammad Hashemi, John Herbert. acmidc 2016: 707-712 [doi]

Efficient Cloud-Based Framework for Big Data ClassificationRezvan Pakdel, John Herbert. bigdataservice 2016: 195-201 [doi]

Scalable Cloud-Based Analysis Framework for Medical Big-DataRezvan Pakdel, John Herbert. compsac 2016: 647-652 [doi]

2015

2014

2013

2012

2011

Web-based real-time remote monitoring for pervasive healthcareBingchuan Yuan, John Herbert. percom 2011: 625-629 [doi]

Real-Time Interactive Medical Consultation Using a Pervasive Healthcare ArchitectureBingchuan Yuan, John Herbert. icost 2011: 215-219 [doi]

2009

Configuring storage-area networks using mandatory securityBenjamin Aziz, Simon N. Foley, John Herbert, Garret Swart. jcs, 17(2):191-210, 2009. [doi]

Towards Improved Information Quality: The Integration of Body Area Network Data within Electronic Health RecordsJohn O Donoghue, John Herbert, Philip O Reilly, David Sammon. icost 2009: 299-302 [doi]

2008

2007

2006

Reconfiguring Role Based Access Control policies using risk semanticsBenjamin Aziz, Simon N. Foley, John Herbert, Garret Swart. jhsn, 15(3):261-273, 2006. [doi]

Profile Based Sensor Data Acquisition in a Ubiquitous Medical EnvironmeJohn O Donoghue, John Herbert. percom 2006: 570-574 [doi]

Multilevel Security and Quality of ProtectionSimon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart. In Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin, editors, Quality of Protection - Security Measurements and Metrics. Volume 23 of Advances in Information Security, pages 93-105, Springer, 2006. [doi]

Mobile Agent Architecture Integration for a Wireless Sensor Medical ApplicationJohn Herbert, John O Donoghue, Gao Ling, Kai Fei, Chien-Liang Fok. iat 2006: 235-238 [doi]

CAMMD: Context-Aware Mobile Medical DevicesTimothy O Sullivan, John O Donoghue, John Herbert, Richard Studdert. jucs, 12(1):45-58, 2006. [doi]

2005

Trading Off Security in a Service Oriented ArchitectureGarret Swart, Benjamin Aziz, Simon N. Foley, John Herbert. dbsec 2005: 295-309 [doi]

Adaptive User Interfaces Development PlatformJing-Hua Ye, John Herbert. ACMdis 2005: 1034-1037 [doi]

2004

Configuring Storage Area Networks for Mandatory SecurityBenjamin Aziz, Simon N. Foley, John Herbert, Garret Swart. dbsec 2004: 357-370

Framework for User Interface AdaptationJing-Hua Ye, John Herbert. uiall 2004: 167-174 [doi]

Interface Tailoring for Mobile Computing DevicesJing-Hua Ye, John Herbert. uiall 2004: 175-184 [doi]

1999

A Formalization of Software ArchitectureJohn Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou. FM 1999: 116-133 [doi]

1997

A Simple Algorithm Specification Language and its ApplicationJohn Herbert. iwfm 1997:

1993

An Embedding of Timed Transition Systems in HOLRoger Hale, Rachel Cardell-Oliver, John Herbert. fmsd, 3(1/2):151-174, 1993.

1992

Experience with Embedding Hardware Description Languages in HOLRichard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel. tpcd 1992: 129-156

An Embedding of Timed Transition Systems in HOLRachel Cardell-Oliver, Roger Hale, John Herbert. tphol 1993: 263-278

Incremental Design and Formal Verification of Microcoded MicroporcessorsJohn Herbert. tpcd 1992: 157-174

1991

Dealing With Temporal Complexity in Hardware VerificationJohn Herbert. tphol 1992: 13-21

All Publications

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'John Herbert'

Viewing Publication 1 - 59 from 59

2019

2018

2017

2016

2015

2014

2013

2012

2011

2009

2008

2007

2006

2005

2004

1999

1997

1993

1992

1991

All Publications

Filter by Year [+]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'John Herbert'

Viewing Publication 1 - 59 from 59

2019

2018

2017

2016

2015

2014

2013

2012

2011

2009

2008

2007

2006

2005

2004

1999

1997

1993

1992

1991

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1