Software Engineering: Publications
-
[1]
Engineering Agile Big−Data Systems
Kevin Feeney‚ Jim Davies‚ James Welch‚ Sebastian Hellmann‚ Christian Dirschl‚ Andreas Koller‚ Pieter Francois and Arkadiusz Marciniak
2018.
Details about Engineering Agile Big−Data Systems | BibTeX data for Engineering Agile Big−Data Systems | Link to Engineering Agile Big−Data Systems
-
[2]
Software Project Management for Combined Software and Data Engineering
Seyyed M. Shah‚ James Welch‚ Jim Davies and Jeremy Gibbons
In Zaigham Mahmood, editor, Software Project Management for Distributed Computing: Life−Cycle Methods for Developing Scalable and Reliable Tools. Pages 367−385. Springer International Publishing. 2017.
Details about Software Project Management for Combined Software and Data Engineering | BibTeX data for Software Project Management for Combined Software and Data Engineering | DOI (10.1007/978-3-319-54325-3_15) | Download (pdf) of Software Project Management for Combined Software and Data Engineering
-
[3]
Security risk assessment in Internet of Things systems
Jason R. C. Nurse; Sadie Creese; David De Roure
In IEEE IT Professional (IT Pro). Vol. 19. No. 5. Pages 20–26. 2017.
Details about Security risk assessment in Internet of Things systems | BibTeX data for Security risk assessment in Internet of Things systems | Download (pdf) of Security risk assessment in Internet of Things systems | DOI (10.1109/MITP.2017.3680959) | Link to Security risk assessment in Internet of Things systems
-
[4]
ToARist: An Augmented Reality Tourism App created through User−Centred Design
Meredydd Williams‚ Kelvin Yao and Jason R. C. Nurse
In 31st British Human Computer Interaction Conference (BHCI). BCS. 2017.
Details about ToARist: An Augmented Reality Tourism App created through User−Centred Design | BibTeX data for ToARist: An Augmented Reality Tourism App created through User−Centred Design | Download (pdf) of ToARist: An Augmented Reality Tourism App created through User−Centred Design | Download (pdf) of ToARist: An Augmented Reality Tourism App created through User−Centred Design
-
[5]
Formal model−driven engineering of critical information systems
Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch
In Science of Computer Programming. Vol. 103. Pages 88 − 113. 2015.
Details about Formal model−driven engineering of critical information systems | BibTeX data for Formal model−driven engineering of critical information systems | DOI (10.1016/j.scico.2014.11.004)
-
[6]
The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials
Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Charles Crichton
In Science of Computer Programming. Vol. 89B. Pages 126−143. September, 2014.
Details about The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials | BibTeX data for The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials | DOI (10.1016/j.scico.2013.02.010) | Download (pdf) of The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials
-
[7]
Model−driven Engineering of Information Systems: 10 years and 1000 versions
Jim Davies‚ Jeremy Gibbons‚ James Welch and Edward Crichton
In Science of Computer Programming. Vol. 89B. Pages 88−104. September, 2014.
Details about Model−driven Engineering of Information Systems: 10 years and 1000 versions | BibTeX data for Model−driven Engineering of Information Systems: 10 years and 1000 versions | DOI (10.1016/j.scico.2013.02.002)
-
[8]
Machine Learning and Software Engineering in Health Informatics
David A. Clifton‚ Jeremy Gibbons‚ Jim Davies and Lionel Tarassenko
May, 2012.
Details about Machine Learning and Software Engineering in Health Informatics | BibTeX data for Machine Learning and Software Engineering in Health Informatics | DOI (10.1109/RAISE.2012.6227968) | Download (pdf) of Machine Learning and Software Engineering in Health Informatics
-
[9]
Requirements Sensemaking using Concept Maps
Shamal Faily‚ John Lyle‚ Andre Paul‚ Andrea Atzeni‚ Dieter Blomme‚ Heiko Desruelle and Krishna Bangalore
In HCSE'2012: Proceedings of the 4th International Conference on Human−Centered Software Engineering. Pages 217–232. Springer. 2012.
Details about Requirements Sensemaking using Concept Maps | BibTeX data for Requirements Sensemaking using Concept Maps | Download (pdf) of Requirements Sensemaking using Concept Maps
-
[10]
Provenance as a Security Control
Andrew Martin‚ John Lyle and Cornelius Namiluko
In Proceedings of TaPP'12: the 4th USENIX Workshop on the Theory and Practice of Provenance. USENIX. 2012.
Details about Provenance as a Security Control | BibTeX data for Provenance as a Security Control | Link to Provenance as a Security Control
-
[11]
Model−driven architectural risk analysis using architectural and contextualised attack patterns
Shamal Faily‚ John Lyle‚ Cornelius Namiluko‚ Andrea Atzeni and Cesare Cameroni
In Proceedings of the Workshop on Model−Driven Security. Pages 3:1–3:6. ACM. 2012.
Details about Model−driven architectural risk analysis using architectural and contextualised attack patterns | BibTeX data for Model−driven architectural risk analysis using architectural and contextualised attack patterns | Download (pdf) of Model−driven architectural risk analysis using architectural and contextualised attack patterns
-
[12]
Form Follows Function: Model−Driven Engineering for Clinical Trials
Jim Davies‚ Jeremy Gibbons‚ Radu Calinescu‚ Charles Crichton‚ Steve Harris and Andrew Tsui
In International Symposium on Foundations of Health Information Engineering and Systems. Vol. 7151 of LNCS. Pages 21−38. Springer. August, 2011.
Details about Form Follows Function: Model−Driven Engineering for Clinical Trials | BibTeX data for Form Follows Function: Model−Driven Engineering for Clinical Trials | DOI (10.1007/978-3-642-32355-3_2) | Download (pdf) of Form Follows Function: Model−Driven Engineering for Clinical Trials
-
[13]
Demo abstract : Dynamic node placement for multi−hop localization in cluttered environments
Muzammil Hussain and Niki Trigoni
In 8th Annual IEEE Communications Society Conference on Sensor‚ Mesh and Ad Hoc Communications and Networks (SECON). 2011.
Details about Demo abstract : Dynamic node placement for multi−hop localization in cluttered environments | BibTeX data for Demo abstract : Dynamic node placement for multi−hop localization in cluttered environments | Download (pdf) of Demo abstract : Dynamic node placement for multi−hop localization in cluttered environments
-
[14]
Engineering Attestable Services (short paper)
John Lyle and Andrew Martin
In Ahmad−Reza Acquisti Alessandro; Smith Sean W.; Sadeghi, editor, Proceedings of the 3rd International Conference on Trust and Trustworthy Computing. Pages 257–264. Springer. June, 2010.
Details about Engineering Attestable Services (short paper) | BibTeX data for Engineering Attestable Services (short paper) | Download (pdf) of Engineering Attestable Services (short paper) | DOI (10.1007/978-3-642-13869-0) | Link to Engineering Attestable Services (short paper)
-
[15]
GIMI: The past‚ the present‚ and the future
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. E. Tromans‚ J. M. Brady and L. Tarassenko
In Philosophical Transactions of the Royal Society A: Mathematical‚ Physical and Engineering Sciences. Vol. 368. Pages 3891–3905. 2010.
Details about GIMI: The past‚ the present‚ and the future | BibTeX data for GIMI: The past‚ the present‚ and the future
-
[16]
Managing application whitelists in trusted distributed systems
Jun Ho Huh‚ John Lyle‚ Cornelius Namiluko and Andrew Martin
In Future Generation Computer Systems. Vol. In Press‚ Accepted Manuscript. 2010.
Details about Managing application whitelists in trusted distributed systems | BibTeX data for Managing application whitelists in trusted distributed systems | DOI (DOI: 10.1016/j.future.2010.08.014) | Link to Managing application whitelists in trusted distributed systems
-
[17]
Trusted Computing and Provenance: Better Together
John Lyle and Andrew Martin
In Proceedings of the 2nd Workshop on the Theory and Practice of Provenance. Usenix. 2010.
Details about Trusted Computing and Provenance: Better Together | BibTeX data for Trusted Computing and Provenance: Better Together | Download (pdf) of Trusted Computing and Provenance: Better Together | Download (pdf) of Trusted Computing and Provenance: Better Together
-
[18]
Semantic Frameworks: Meanings in the Architecture
Jim Davies and Jeremy Gibbons
In Distributed Computing and Internet Technology. Vol. 5966 of LNCS. Pages 40−54. 2010.
Details about Semantic Frameworks: Meanings in the Architecture | BibTeX data for Semantic Frameworks: Meanings in the Architecture | DOI (10.1007/978-3-642-11659-9_4)
-
[19]
Stratagems for Effective Function Evaluation in Computational Chemistry
G.S. Skone
PhD Thesis 2010.
Details about Stratagems for Effective Function Evaluation in Computational Chemistry | BibTeX data for Stratagems for Effective Function Evaluation in Computational Chemistry | Download (pdf) of Stratagems for Effective Function Evaluation in Computational Chemistry
-
[20]
Trustworthy Log Reconciliation for Distributed Virtual Organisations
Jun Ho Huh and John Lyle
In Liqun Chen‚ Chris J. Mitchell and Andrew Martin, editors, Trust '09: Proceedings of the 2nd International Conference on Trusted Computing. Pages 169−182. Berlin‚ Heidelberg. April, 2009. Springer−Verlag.
Details about Trustworthy Log Reconciliation for Distributed Virtual Organisations | BibTeX data for Trustworthy Log Reconciliation for Distributed Virtual Organisations | DOI (10.1007/978-3-642-00587-9_11)
-
[21]
Trustable Remote Verification of Web Services
John Lyle
In Liqun Chen‚ Chris J. Mitchell and Andrew Martin, editors, TRUST. Pages 153−168. Springer. April, 2009.
Details about Trustable Remote Verification of Web Services | BibTeX data for Trustable Remote Verification of Web Services | Download (pdf) of Trustable Remote Verification of Web Services | Link to Trustable Remote Verification of Web Services
-
[22]
Model−Driven Support for a Vaccine Study in Kathmandu
Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Jane Metz‚ Andrew J. Pollard and Matthew Snape
In Microsoft eScience Workshop. October, 2009.
Details about Model−Driven Support for a Vaccine Study in Kathmandu | BibTeX data for Model−Driven Support for a Vaccine Study in Kathmandu | Download (pdf) of Model−Driven Support for a Vaccine Study in Kathmandu
-
[23]
On formalising and normalising role−based access control systems
D. J. Power M. A. Slaymaker and A. C. Simpson
In The Computer Journal. Vol. 52. No. 3. Pages 305−325. 2009.
Details about On formalising and normalising role−based access control systems | BibTeX data for On formalising and normalising role−based access control systems | DOI (doi:10.1093/comjnl/bxn016)
-
[24]
A metadata approach for clinical data management in translational genomics studies in breast cancer
James D Brenton Irene Papatheodorou Charles Crichton Lorna Morris Peter Maccallum Molecular Taxonomy of Breast Cancer International Consortium METABRIC Group Jim Davies and Carlos Caldas
Vol. 2. 2009.
Details about A metadata approach for clinical data management in translational genomics studies in breast cancer | BibTeX data for A metadata approach for clinical data management in translational genomics studies in breast cancer | DOI (10.1186/1755-8794-2-66)
-
[25]
On the secure sharing of legacy data
D. Russell‚ D. J. Power‚ M. A. Slaymaker‚ G. K. Kouadri Mostefaoui‚ X. Ma and A. C. Simpson
In Proceedings of the 6th International Conference on IT: Next Generation (ITNG 2009). Pages 1676–1679. IEEE. 2009.
Details about On the secure sharing of legacy data | BibTeX data for On the secure sharing of legacy data
-
[26]
On the Feasibility of Remote Attestation for Web Services
John Lyle and Andrew Martin
In SecureCom09: Proceedings of the International Symposium on Secure Computing. Pages 283−288. IEEE. 2009.
Details about On the Feasibility of Remote Attestation for Web Services | BibTeX data for On the Feasibility of Remote Attestation for Web Services | Download PublicationFile of On the Feasibility of Remote Attestation for Web Services | Download feasibility-ieee.pdf of On the Feasibility of Remote Attestation for Web Services | Link to On the Feasibility of Remote Attestation for Web Services
-
[27]
Coordinated Search with a Swarm of UAVs
Sonia Waharte‚ Niki Trigoni and Simon J. Julier
In Sixth Annual IEEE Communications Society Conference on Sensor‚ Mesh and Ad Hoc Communications and Networks (SECON). 2009.
Details about Coordinated Search with a Swarm of UAVs | BibTeX data for Coordinated Search with a Swarm of UAVs | Download (pdf) of Coordinated Search with a Swarm of UAVs
-
[28]
-
[29]
Basic Strategies for Molecular Docking with Scoring Functions
Gwyn Skone‚ Stephen Cameron and Irina Voiculescu
In German Conference on Bioinformatics. September, 2008.
Details about Basic Strategies for Molecular Docking with Scoring Functions | BibTeX data for Basic Strategies for Molecular Docking with Scoring Functions
-
[30]
Semantic Technologies in Electronic Government
Steve Harris‚ Jeremy Gibbons‚ Jim Davies‚ Andrew Tsui and Charles Crichton
In Tomasz Janowski and Teresa Pardo, editors, ICEGOV 2008. Pages 45 – 51. Cairo. December, 2008. ACM Press.
Details about Semantic Technologies in Electronic Government | BibTeX data for Semantic Technologies in Electronic Government | DOI (10.1145/1509096.1509108) | Download (pdf) of Semantic Technologies in Electronic Government
-
[31]
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri−Mostefaoui‚ X. Ma and G. Wilson
In Studies in Health Technology and Informatics. Vol. 138. Pages 3–12. 2008.
Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
-
[32]
The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography
C. Tromans‚ J. M. Brady‚ D. J. Power‚ M. A. Slaymaker‚ D. Russell and A. C. Simpson
In Proceedings of MICCAI−Grid 2008. Pages 43–52. 2008.
Details about The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography | BibTeX data for The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography
-
[33]
On the need for user−defined fine−grained access control policies for social networking applications
A. C. Simpson
In Proceedings of the 2008 workshop on Security in Opportunistic and SOCial networks (SOSOC 2008). Pages Article number 1. ACM. 2008.
Details about On the need for user−defined fine−grained access control policies for social networking applications | BibTeX data for On the need for user−defined fine−grained access control policies for social networking applications
-
[34]
On the facilitation of fine−grained access to distributed healthcare data
D. Russell M. A. Slaymaker D. J. Power and A. C. Simpson
In Proceedings of Secure Data Management 2008. 2008.
Details about On the facilitation of fine−grained access to distributed healthcare data | BibTeX data for On the facilitation of fine−grained access to distributed healthcare data
-
[35]
On formal descriptions of synchronization requirements in multimedia systems
A. C. M. Fong and A. C. Simpson
In Proceedings of the 5th International Conference on IT: Next Generation (ITNG 2009). Pages 1255−1256. IEEE. 2008.
Details about On formal descriptions of synchronization requirements in multimedia systems | BibTeX data for On formal descriptions of synchronization requirements in multimedia systems
-
[36]
Accessing and aggregating legacy data sources for healthcare research‚ delivery and training
M. A. Slaymaker‚ D. J. Power‚ D. Russell‚ G. Wilson and A. C. Simpson
In Proceedings of SAC 2008. 2008.
Details about Accessing and aggregating legacy data sources for healthcare research‚ delivery and training | BibTeX data for Accessing and aggregating legacy data sources for healthcare research‚ delivery and training
-
[37]
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri−Mostefaoui‚ X. Ma and G. Wilson
In Proceedings of HealthGrid 2008. 2008.
Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
-
[38]
The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri Mostefaoui‚ G. Wilson and X. Ma
In K. Khan, editor, Managing Web Services Quality: Measuring Outcomes and Effectiveness. Pages 1–22. Idea Group. 2008.
Details about The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training | BibTeX data for The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training
-
[39]
Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling
S. Lloyd‚ D. J. Gavaghan‚ A. C. Simpson‚ C. Mascord M. Sieunarine‚ G. Williams‚ J. Pitt−Francis‚ D. R. S. Boyd‚ D. Mac Randal‚ L. Sastry‚ K. Nagella S. Weeks‚ R. Fowler‚ D. Hanlon‚ J. Handley and G. de Fabritis
In Future Generation Computer Systems. Vol. 23. No. 3. Pages 457–465. March, 2007.
Details about Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling | BibTeX data for Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling
-
[40]
Verification of Boolean Programs with Unbounded Thread Creation
Byron Cook‚ Daniel Kroening and Natasha Sharygina
In Theoretical Computer Science (TCS). Vol. 388. Pages 227–242. 2007.
Details about Verification of Boolean Programs with Unbounded Thread Creation | BibTeX data for Verification of Boolean Programs with Unbounded Thread Creation
-
[41]
On the development of secure service−oriented architectures to support medical research
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker‚ D. Russell and M. Katzarova
In International Journal of Healthcare Information Systems and Informatics. Vol. 2. No. 2. Pages 75–89. 2007.
Details about On the development of secure service−oriented architectures to support medical research | BibTeX data for On the development of secure service−oriented architectures to support medical research
-
[42]
Towards build−time interoperability of workflow definition languages
S. D. Induruwa−Fernando‚ D. A. Creager and A. C. Simpson
In Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNSAC 2007). Pages 525–532. IEEE. 2007.
Details about Towards build−time interoperability of workflow definition languages | BibTeX data for Towards build−time interoperability of workflow definition languages
-
[43]
Exploitation of switched lightpaths for e−health: Constraints and challenges
L. Momtahan and A. C. Simpson
In Lighting the blue touchpaper for UK e−Science: Closing conference of ESLEA project. Proceedings of Science. 2007.
Details about Exploitation of switched lightpaths for e−health: Constraints and challenges | BibTeX data for Exploitation of switched lightpaths for e−health: Constraints and challenges
-
[44]
Developing collaborative technology for neuro−science
S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ J. Geddes‚ A. Khanban and J. Palmer
In Proceedings of CollaborateCom 2007. 2007.
Details about Developing collaborative technology for neuro−science | BibTeX data for Developing collaborative technology for neuro−science
-
[45]
Using CSP to model the synchronization process of variable length codes
A. C. M. Fong and A. C. Simpson
In IEEE Proc. Communications. Vol. 153. No. 2. Pages 195–200. April, 2006.
Details about Using CSP to model the synchronization process of variable length codes | BibTeX data for Using CSP to model the synchronization process of variable length codes
-
[46]
Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi−scale models of colorectal cancer and treatment of individual patients
J. Pitt−Francis‚ D. Chen‚ M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ I. van Leeuwen‚ F. Reddington‚ P. Quirke and D. J. Gavaghan
In Computational & Mathematical Methods in Medicine. Vol. 7. No. &23. Pages 177–188. 2006.
Details about Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi−scale models of colorectal cancer and treatment of individual patients | BibTeX data for Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi−scale models of colorectal cancer and treatment of individual patients
-
[47]
Designing for e−health: recurring scenarios in developing grid−based medical imaging systems
J. Ure‚ J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Jirotka‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ Y. Chen‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercock‚ J. Palmer‚ D. Perry‚ R. Procter‚ M. Hartswood‚ R. Slack‚ A. Voss‚ K. Ho‚ P. Bath‚ W. Clarke and G. Watson
In Studies in Health Technology and Informatics. Vol. 120. Pages 336–347. 2006.
Details about Designing for e−health: recurring scenarios in developing grid−based medical imaging systems | BibTeX data for Designing for e−health: recurring scenarios in developing grid−based medical imaging systems
-
[48]
Securing web services for deployment in health grids
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson
In Future Generation Computer Systems. Vol. 22. No. 5. Pages 547–570. 2006.
Details about Securing web services for deployment in health grids | BibTeX data for Securing web services for deployment in health grids
-
[49]
Collaboration and trust in healthcare innovation: the eDiaMoND case study
M. Jirotka‚ M. Procter‚ R. Hartswood‚ C. Slack‚ A. C. Simpson‚ C. Coopmans‚ C. Hinds and A. Voss
In Computer Supported Cooperative Work. Vol. 14. Pages 369–398. 2006.
Details about Collaboration and trust in healthcare innovation: the eDiaMoND case study | BibTeX data for Collaboration and trust in healthcare innovation: the eDiaMoND case study
-
[50]
On tracker attacks in health grids
A. C. Simpson‚ D. J. Power and M. A. Slaymaker
In Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06). Pages 209–216. ACM Press. 2006.
Details about On tracker attacks in health grids | BibTeX data for On tracker attacks in health grids
-
[51]
Towards a fully generic theory of data
D. A. Creager and A. C. Simpson
In Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006). Vol. 4260 of Lecture Notes in Computer Science. Pages 304–323. Springer. 2006.
Details about Towards a fully generic theory of data | BibTeX data for Towards a fully generic theory of data
-
[52]
The utilisation of clinical data in research health grids: eDiaMoND as a case study
S. Lloyd and A. C. Simpson
In Proceedings of HealthCare 2006. 2006.
Details about The utilisation of clinical data in research health grids: eDiaMoND as a case study | BibTeX data for The utilisation of clinical data in research health grids: eDiaMoND as a case study
-
[53]
The challenges of developing a collaborative data and compute grid for Neurosciences
J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercocka‚ J. Palmer‚ D. Perry‚ R. Procter‚ J. Ure‚ P. Bath and G. Watson
In Proceedings of the 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006). Pages 81–86. IEEE Computer Society Press. 2006.
Details about The challenges of developing a collaborative data and compute grid for Neurosciences | BibTeX data for The challenges of developing a collaborative data and compute grid for Neurosciences
-
[54]
Logic‚ damned logic‚ and statistics
A. C. Simpson
In Proceedings of Teaching Formal Methods 2006. 2006.
Details about Logic‚ damned logic‚ and statistics | BibTeX data for Logic‚ damned logic‚ and statistics
-
[55]
Delegation in a distributed healthcare context: a survey of current approaches
M. Katzarova and A. C. Simpson
In Proceedings of the 9th Information Security Conference 2006. Vol. 4176 of Lecture Notes in Computer Science. Pages 517–529. Springer. 2006.
Details about Delegation in a distributed healthcare context: a survey of current approaches | BibTeX data for Delegation in a distributed healthcare context: a survey of current approaches
-
[56]
A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care
M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ D. J. Gavaghan‚ F. Reddington and P. Quirke
In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006.
Details about A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care | BibTeX data for A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care
-
[57]
A fully generic‚ graph−based approach to data transformation discovery
D. A. Creager and A. C. Simpson
In Proceedings of GMC (Graph Computation Models) 2006. 2006.
Details about A fully generic‚ graph−based approach to data transformation discovery | BibTeX data for A fully generic‚ graph−based approach to data transformation discovery
-
[58]
Towards a Grid Infrastructure to support integrative approaches to biological research
D. J. Gavaghan‚ A. C. Simpson‚ S. Lloyd‚ D. F. Mac Randal and D. R. S. Boyd
In Philosophical Transactions of the Royal Society A: Mathematical‚ Physical and Engineering Sciences. Vol. 363. No. 1883. Pages 1829–1841. August, 2005.
Details about Towards a Grid Infrastructure to support integrative approaches to biological research | BibTeX data for Towards a Grid Infrastructure to support integrative approaches to biological research
-
[59]
Towards fine−grained access control in health grids
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou
In Proceedings of the Ottawa Workshop on New Challenges in Access Control. April, 2005.
Details about Towards fine−grained access control in health grids | BibTeX data for Towards fine−grained access control in health grids
-
[60]
Protecting Sensitive Patient Data via Query Modification
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the 20th ACM Symposium on Applied Computing. Pages 224−230. March, 2005.
Details about Protecting Sensitive Patient Data via Query Modification | BibTeX data for Protecting Sensitive Patient Data via Query Modification
-
[61]
Integrative Biology: exploiting e−Science to combat fatal diseases
S. Lloyd‚ A. C. Simpson‚ L. Sastry‚ D. J. Gavaghan and D. R.S. Boyd
In ERCIM News. Vol. 60. January, 2005.
Details about Integrative Biology: exploiting e−Science to combat fatal diseases | BibTeX data for Integrative Biology: exploiting e−Science to combat fatal diseases
-
[62]
Towards secure Grid−enabled healthcare
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson
In Software: Practice and Experience. Vol. 35. No. 9. Pages 857–871. 2005.
Details about Towards secure Grid−enabled healthcare | BibTeX data for Towards secure Grid−enabled healthcare
-
[63]
Security Aspects of Grid−enabled Digital Mammography
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Methods of Information in Medicine. Vol. 44. No. 2. Pages 207–210. 2005.
Details about Security Aspects of Grid−enabled Digital Mammography | BibTeX data for Security Aspects of Grid−enabled Digital Mammography
-
[64]
Digital mammography: a world without film?
S. Lloyd‚ M. Jirotka‚ A. C. Simpson‚ R. P. Highnam‚ D. J. Gavaghan‚ D. Watson and J. M. Brady
In Methods of Information in Medicine. Vol. 44. No. 2. Pages 168–169. 2005.
Details about Digital mammography: a world without film? | BibTeX data for Digital mammography: a world without film?
-
[65]
VRE for the Integrative Biology research consortium
M. J. Dovey‚ M. Mascord‚ D. J. Gavaghan‚ S. Lloyd‚ A. C. Simpson‚ G. Williams and D. Mac Randal
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about VRE for the Integrative Biology research consortium | BibTeX data for VRE for the Integrative Biology research consortium
-
[66]
NeuroGrid: using grid technology to advance neuroscience
J. Geddes‚ S. Lloyd‚ A. C. Simpson‚ M. Rossor‚ N. Fox‚ D. Hill‚ J. V. Hajnal‚ S. Lawrie‚ A. McIntosh‚ E. Johnstone‚ J. Wardlaw‚ D. Perry‚ R. Procter‚ P. Bath and E. Bullimore
In Proceedings of the 18th IEEE Symposium on Computer−Based Medical Systems. Pages 570–573. IEEE Computer Society Press. 2005.
Details about NeuroGrid: using grid technology to advance neuroscience | BibTeX data for NeuroGrid: using grid technology to advance neuroscience
-
[67]
NeuroGrid: collaborative neuroscience via grid computing
J. Geddes‚ S. Lloyd‚ A. C. Simpson‚ M. Rossor‚ N. Fox‚ D. Hill‚ J. Hajnal‚ S. Lawrie‚ A. McIntosh‚ E. Johnstone‚ J. Wardlaw‚ D. Perry‚ R. Procter‚ P. Bath and E. Bullimore
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about NeuroGrid: collaborative neuroscience via grid computing | BibTeX data for NeuroGrid: collaborative neuroscience via grid computing
-
[68]
GIMI: Generic Infrastructure for Medical Informatics
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou
In Proceedings of the 18th IEEE Symposium on Computer−Based Medical Systems (CBMS 2005). Pages 564–566. IEEE Computer Society Press. 2005.
Details about GIMI: Generic Infrastructure for Medical Informatics | BibTeX data for GIMI: Generic Infrastructure for Medical Informatics
-
[69]
The Integrative Biology Infrastructure
D. Mac Randal‚ L. Sastry‚ D. Hanlon‚ D. J. Gavaghan‚ S. Lloyd and A. C. Simpson
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about The Integrative Biology Infrastructure | BibTeX data for The Integrative Biology Infrastructure
-
[70]
On XACML‚ role−based access control‚ and health grids
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about On XACML‚ role−based access control‚ and health grids | BibTeX data for On XACML‚ role−based access control‚ and health grids
-
[71]
On deducibility and anonymisation in medical databases
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In W. Jonker and M. Petkovic, editors, Proceedings of Secure Data Management 2005. Vol. 3674 of Lecture Notes in Computer Science. Pages 170–184. Springer. 2005.
Details about On deducibility and anonymisation in medical databases | BibTeX data for On deducibility and anonymisation in medical databases
-
[72]
Managing collaborative expertise: issues and challenges
I. Kinti‚ S. Lloyd‚ A. C. Simpson and G. Hayward
In Proceedings of OKLC 2005‚ Boston‚ MA. 2005.
Details about Managing collaborative expertise: issues and challenges | BibTeX data for Managing collaborative expertise: issues and challenges
-
[73]
Exploitation of switched lightpaths for e−health
L. Momtahan and A. C. Simpson
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about Exploitation of switched lightpaths for e−health | BibTeX data for Exploitation of switched lightpaths for e−health
-
[74]
A secure wrapper for OGSA−DAI
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the European Grid Conference‚ 2005. Vol. 3470 of Lecture Notes in Computer Science. Pages 485–494. Springer. 2005.
Details about A secure wrapper for OGSA−DAI | BibTeX data for A secure wrapper for OGSA−DAI
-
[75]
A vision for secure grid−enabled healthcare
M. A. Slaymaker‚ D. J Power‚ E. A. Politou and A. C. Simpson
In Workshop on Grid Security Practice and Experience. Technical Report YCS−2004−380‚ University of York. June, 2004.
Details about A vision for secure grid−enabled healthcare | BibTeX data for A vision for secure grid−enabled healthcare
-
[76]
Predicate Abstraction of ANSI–C Programs using SAT
Edmund Clarke‚ Daniel Kroening‚ Natasha Sharygina and Karen Yorav
In Formal Methods in System Design (FMSD). Vol. 25. Pages 105–127. 2004.
Details about Predicate Abstraction of ANSI–C Programs using SAT | BibTeX data for Predicate Abstraction of ANSI–C Programs using SAT
-
[77]
eDiaMoND: the UK's national digital mammography database
J. M. Brady‚ F. Gilbert‚ S. Lloyd‚ M. Jirotka‚ D. J. Gavaghan‚ A. C. Simpson‚ R. P. Highnam‚ T. Bowles‚ D. Schottlander‚ D. McCabe‚ D. Watson‚ B. Collins‚ J. Williams‚ A. Knox‚ M. Oevers and P. Taylor
In Proceedings of IWDM 2004. 2004.
Details about eDiaMoND: the UK's national digital mammography database | BibTeX data for eDiaMoND: the UK's national digital mammography database
-
[78]
Integrative Biology: exploiting e−Science to combat fatal diseases
D.J. Gavaghan‚ S. Lloyd‚ D. R. S. Boyd‚ P. W. Jeffreys‚ A. C. Simpson‚ D. F. Mac Randal‚ L. Sastry and K. Kleese van Dam
In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.
Details about Integrative Biology: exploiting e−Science to combat fatal diseases | BibTeX data for Integrative Biology: exploiting e−Science to combat fatal diseases
-
[79]
eDiaMoND: risk analysis
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.
Details about eDiaMoND: risk analysis | BibTeX data for eDiaMoND: risk analysis
-
[80]
eDiaMoND: challenges for the e−scientist in the e−health domain
S. Lloyd‚ A. C. Simpson‚ D. J. Gavaghan and J. M. Brady
In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.
Details about eDiaMoND: challenges for the e−scientist in the e−health domain | BibTeX data for eDiaMoND: challenges for the e−scientist in the e−health domain
-
[81]
Teaching Formal Methods in Context
J. W. Davies‚ A. C. Simpson and A. P. Martin
In C. N. Dean and R. F. Boute, editors, Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004. Vol. 3294 of Lecture Notes in Computer Science. Pages 186–202. Springer. 2004.
Details about Teaching Formal Methods in Context | BibTeX data for Teaching Formal Methods in Context
-
[82]
Security principles for public−resource modeling research
D. A. Stainforth‚ A. P. Martin‚ A. C. Simpson‚ C. A. Christensen‚ J. Kettleborough‚ T. Aina and M. R. Allen
In Proceedings of the IEEE International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE−2004). Pages 319–324. 2004.
Details about Security principles for public−resource modeling research | BibTeX data for Security principles for public−resource modeling research
-
[83]
Security aspects of grid−based digital mammography
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.
Details about Security aspects of grid−based digital mammography | BibTeX data for Security aspects of grid−based digital mammography
-
[84]
e−health security issues: the eDiaMoND perspective
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power and S. Lloyd
In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.
Details about e−health security issues: the eDiaMoND perspective | BibTeX data for e−health security issues: the eDiaMoND perspective
-
[85]
Digital mammography: a world without film?
S. Lloyd‚ M. Jirotka‚ A. C. Simpson‚ R. P. Highnam‚ D. J. Gavaghan‚ D. Watson and J. M. Brady
In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.
Details about Digital mammography: a world without film? | BibTeX data for Digital mammography: a world without film?
-
[86]
An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson
In Proceedings of the 19th ACM Symposium on Applied Computing. Pages 272–279. 2004.
Details about An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases | BibTeX data for An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases
-
[87]
A Tool for Checking ANSI−C Programs
Edmund Clarke‚ Daniel Kroening and Flavio Lerda
In Kurt Jensen and Andreas Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). Vol. 2988 of Lecture Notes in Computer Science. Pages 168–176. Springer. 2004.
Details about A Tool for Checking ANSI−C Programs | BibTeX data for A Tool for Checking ANSI−C Programs
-
[88]
Supplementing the understanding of Z: a formal approach to database design
A. C. Simpson and A. P. Martin
In Proceedings of the BCS Teaching Formal Methods workshop. BCS. 2003.
Details about Supplementing the understanding of Z: a formal approach to database design | BibTeX data for Supplementing the understanding of Z: a formal approach to database design
-
[89]
On the supervision and assessment of part−time postgraduate software engineering projects
A C. Simpson‚ A. P. Martin‚ J. Gibbons‚ J. W. Davies and S. W. McKeever
In Proceedings of the 25th International Conference on Software Engineering (ICSE)‚ Portland‚ Oregon‚ 3–10 May‚ 2003. Pages 628–633. IEEE Computer Society Press. 2003.
Details about On the supervision and assessment of part−time postgraduate software engineering projects | BibTeX data for On the supervision and assessment of part−time postgraduate software engineering projects
-
[90]
Grid computing for digital mammography
J. M. Brady‚ D. J. Gavaghan‚ R. P. Highnam‚ A. Knox‚ S. Lloyd‚ A. C. Simpson and D. Watson
In Proceedings of the 2003 UK e−Science All Hands Meeting. 2003.
Details about Grid computing for digital mammography | BibTeX data for Grid computing for digital mammography
-
[91]
An approach to the storage of DICOM files for grid−enabled medical imaging databases
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson
In Proceedings of the 2003 UK e−Science All Hands Meeting. 2003.
Details about An approach to the storage of DICOM files for grid−enabled medical imaging databases | BibTeX data for An approach to the storage of DICOM files for grid−enabled medical imaging databases
-
[92]
eDiamond: Digital Mammography
J. M. Brady‚ D. J. Gavaghan‚ R. P. Highnam‚ M. Mulet−Parada and A. C. Simpson
In Proceedings of the 2002 UK e−Science All Hands Conference. 2002.
Details about eDiamond: Digital Mammography | BibTeX data for eDiamond: Digital Mammography
-
[93]
Climateprediction.net: design principles for public resource modelling research
D. Stainforth‚ J. Kettleborough‚ A. P. Martin‚ A. C. Simpson‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. J. Gavaghan and M. Allen
In Proc. 14th IASTED conference on parallel and distributed computing systems.. 2002.
Details about Climateprediction.net: design principles for public resource modelling research | BibTeX data for Climateprediction.net: design principles for public resource modelling research
-
[94]
climateprediction.com: security and design planning
D. Stainforth‚ J. A. Kettleborough‚ A. P. Martin‚ A. C. Simpson‚ A. P. Martin‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. J. Gavaghan and M. Allen
In Proceedings of the 2002 UK e−Science All Hands Meeting. 2002.
Details about climateprediction.com: security and design planning | BibTeX data for climateprediction.com: security and design planning