School of Computing Science
Collection home page
Collection's Items (Sorted by Submit Date in Descending order): 301 to 320 of 345
| Issue Date | Title | Author(s) |
| 1997 | A graphical system for parallel software development | Allen, Robert Stephen |
| 2012 | Continuous probability distributions in model-based specification languages | Andrews, Zoe Helen |
| 2012 | Human activity recognition for pervasive interaction | Pham, Cuong Van |
| 2012 | Consumer side resource accounting in cloud computing | Mihoob, Ahmed M |
| 1969 | Effects of H.V.D.C. transmission line on the transient performance of an A.C. power system : a digital computer study | Ahmed, Syed Muhammad |
| 2012 | Engaging older adults and people with dementia in the design of digital technologies | Lindsay, Stephen Colin |
| 2012 | Enhancing intrusion resilience in publicly accessible distributed systems | Clarke, Dylan James |
| 2012 | Situated navigation support for heterogeneous large crowds via augmented signage | Hamhoum, Fathi |
| 2012 | Data hovering algorithm for improving data retention and data quality in energy-constrained mobile wireless sensor networks | He, Yingjie |
| 2012 | Knowledge derivation and data mining strategies for probabilistic functional integrated networks | James, Katherine |
| 2012 | Adaptive security | Lamprecht, Christiaan Johan |
| 2012 | Verifiable resilience in architectural reconfiguration | Payne, Richard John |
| 2012 | Enhancing systems biology models through semantic data integration | Lister, Allyson Lurena |
| 2000 | Parallel simulations using recurrence relations and relaxation | McGough, Andrew Stephen |
| 2010 | A grid and cloud-based framework for high throughput bioinformatics | Flanagan, Keith Stanley |
| 2006 | Design and implementation of extensible middleware for non-repudiable interactions | Robinson, Paul Fletcher |
| 2010 | Contract specification for compliance checking of business interactions | Strano, Massimo |
| 2012 | Fault injection testing method of software implemented fault tolerance mechanisms of web service systems | Farj, Khaled Ali Saleh |
| 2011 | Practical applications of performance modelling of security protocols using PEPA | Zhao, Yishi |
| 2011 | Reasoning about programs using operational semantics and the role of a proof support tool | Hughes, John Robert Derek |
Collection's Items (Sorted by Submit Date in Descending order): 301 to 320 of 345
