Skip to main content

Research Repository

Advanced Search

Outputs (191)

Verifying the CPA Networking Stack using SPIN/Promela. (2013)
Presentation / Conference Contribution
Chalmers, K., & Kerridge, J. (2013). Verifying the CPA Networking Stack using SPIN/Promela. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2013 (39-56)

This paper presents a verification of the CPA Networking Stack, using the SPIN Model Checker. Our work shows that the system developed for general networking within CPA applications works under the conditions defined for it. The model itself focuses... Read More about Verifying the CPA Networking Stack using SPIN/Promela..

An immune network approach for self-adaptive ensembles of autonomic components: a case study in swarm robotics. (2013)
Presentation / Conference Contribution
Capodieci, N., Hart, E., & Cabri, G. (2013, September). An immune network approach for self-adaptive ensembles of autonomic components: a case study in swarm robotics

We describe an immune inspired approach to achieve self-expression within an ensemble, i.e. enabling an ensemble of autonomic components to dynamically change their coordination pattern during the runtime execution of a given task. Building on previo... Read More about An immune network approach for self-adaptive ensembles of autonomic components: a case study in swarm robotics..

Designing self-aware adaptive systems: from autonomic computing to cognitive immune networks. (2013)
Presentation / Conference Contribution
Capodieci, N., Hart, E., & Cabri, G. (2013). Designing self-aware adaptive systems: from autonomic computing to cognitive immune networks. In Proceedings of SASO Workshops 2013. https://doi.org/10.1109/SASOW.2013.17

An autonomic system is composed of ensembles of heterogeneous autonomic components in which large sets of components are dynamically added and removed. Nodes within such an ensemble should cooperate to achieve system or human goals, and systems are e... Read More about Designing self-aware adaptive systems: from autonomic computing to cognitive immune networks..

Can pay, should pay? Exploring paid and unpaid work opportunities from employer and student perspectives. (2013)
Presentation / Conference Contribution
Caddell, M., McIlwhan, R., Irving, C., Smith, C. F., & Smith, S. (2013). Can pay, should pay? Exploring paid and unpaid work opportunities from employer and student perspectives.

Within current university-focused discussions around how to enhance and support student employability, considerable emphasis has been placed on gaining work experience, either through volunteering or via work placements and internships. There is grow... Read More about Can pay, should pay? Exploring paid and unpaid work opportunities from employer and student perspectives..

Modelling of integrated trust, governance and access safi.re: Information Sharing Architecture. (2013)
Presentation / Conference Contribution
Buchanan, W. J., Uthmani, O., Fan, L., Burns, N., Lo, O., Lawson, A., Varga, J., & Anderson, C. (2013, April). Modelling of integrated trust, governance and access safi.re: Information Sharing Architecture. Presented at CSP 2013: Cyber Security and Privacy

We live in a world where trust relationships are becoming ever more important. This paper outlines how an architecture which abstracts these relationships between domains, organisations and units, into a formal definition, and then implement these as... Read More about Modelling of integrated trust, governance and access safi.re: Information Sharing Architecture..

Experimental evaluation of disk sector hash comparison for forensic triage using a Bloom filter. (2013)
Presentation / Conference Contribution
Buchanan, W. J., Macfarlane, R., & Clayton, J. (2013, June). Experimental evaluation of disk sector hash comparison for forensic triage using a Bloom filter. Presented at Cyberforensics 2013, Cardiff, UK

There is a problem in the world of digital forensics. The demands on digital forensic investigators and resources will continue to increase as the use of computers and other electronic devices increases, and as the storage capacity of these devices i... Read More about Experimental evaluation of disk sector hash comparison for forensic triage using a Bloom filter..

Fast and reliable hybrid routing for vehicular ad hoc networks. (2013)
Presentation / Conference Contribution
Al-Kubati, G., Al-Dubai, A., Mackenzie, L., & Pezaros, D. (2013). Fast and reliable hybrid routing for vehicular ad hoc networks. In 13th International Conference on ITS Telecommunications (ITST) (20-25). https://doi.org/10.1109/ITST.2013.6685515

Intelligent Transportation Systems (ITSs) have been attracting tremendous attention in both academia and industry due to emerging applications that pave the way towards safer enjoyable journeys and inclusive digital partnerships. Undoubtedly, these I... Read More about Fast and reliable hybrid routing for vehicular ad hoc networks..

Communicating Process Architectures 2013. (2013)
Presentation / Conference Contribution
(2013). Communicating Process Architectures 2013. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2013