Collection's Items (Sorted by Submit Date in Descending order): 221 to 240 of 472
| Issue Date | Title | Author(s) |
| 2016 | Optimisation of data collection strategies for model-based evaluation and decision-making | Cain, Robert |
| 2015 | Model checking of mobile systems and diagnosability of weakly fair systems | Germanos, Vasileios |
| 2015 | Modelling and verification of ambient systems using petri nets | Konios, Alexandros |
| 2015 | The role of transparency and trust in the selection of cloud service providers | Almanea, Mohammed Ibrahim M |
| 2015 | Designing tabletop applications for collaboration in non-collaborative learning tasks in the classroom : learning persuasive writing | Heslop, Philip |
| 2015 | Meta-stochastic simulation for systems and synthetic biology using classification | Sanassy, Daven |
| 2015 | a Analysing and quantifying the influence of system parameters on virtual machine co-residency in public clouds | Alabdulhafez, Abdulaziz |
| 2015 | Insider threat : memory confidentiality and integrity in the cloud | Liberal Rocha, Francisco Emanuel |
| 2015 | Capturing proof process | Velykis., Andrius |
| 2015 | The consistent representation of scientific knowledge : investigations into the ontology of karyotypes and mitochondria | Warrender, Jennifer Denise |
| 2015 | The effect of programming competency on success in undergraduate team projects in computing science | Devlin, Marie |
| 2015 | Designing technology to promote mental health and wellbeing | Thieme, Anja |
| 2015 | Artful social engagement :long-term interaction design within an international women's community | Clarke, Rachel |
| 2015 | Operating policies for energy efficient large scale computing | Forshaw, Matthew James |
| 2015 | Activity recognition in naturalistic environments using body-worn sensors | Hammerla, Nils Yannick |
| 2014 | Provenance, propagation and quality of biological annotation | Bell, Michael James |
| 2014 | Systematic support for accountability in the cloud | Wongthai, Winai |
| 2014 | User-controlled access management to resources on the Web | Machulak, Maciej Pawel |
| 2014 | Quantitative analysis of distributed systems | Zeng, Wen |
| 2014 | Dynamic contention management for distributed applications | Brook, Matthew Jess |
Collection's Items (Sorted by Submit Date in Descending order): 221 to 240 of 472
