School of Computing
Collection home page
Collection's Items (Sorted by Submit Date in Descending order): 441 to 460 of 472
| Issue Date | Title | Author(s) |
| 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 |
| 2011 | Design time detection of architectural mismatches in service oriented architectures | Gamble, Carl Jeffrey |
| 2011 | Design and performance study of algorithms for consensus in sparse, mobile ad-hoc networks | Alekeish, Khaled |
| 2007 | Design and implementation of a QoS-Supportive system for reliable multicast | Di Ferdinando, Antonio |
| 2010 | Digital tabletops and collaborative learning | Kharrufa, Ahmed Sulaiman |
| 2010 | Uncertainty in service provisioning relationships | Smith, Christopher John |
| 2008 | Constructing a tractable reasoning framework upon a fine-grained structural operational semantics | Coleman, Joseph William |
| 2008 | Correct synthesis and integration of compiler-generated function units | Ellis, Martin Andrew |
| 2009 | Persuasive interactive non-verbal behaviour in embodied conversational agents | Shearer, John |
| 2003 | Model checking based on prefixes of petri net unfoldings | Khomenko, Victor |
| 2009 | Enhancing the usability of rely-guarantee conditions for atomicity refinement | Pierce, Kenneth George |
| 2002 | MATrA: meta-modelling approach to traceability for avionics | Mason, Paul Andrew James |
| 2007 | Design and performance analysis of fail-signal based consensus protocols for Byzantine faults | Tariq, Qurat-ul-Ain Inayat |
| 2000 | Anonymous and confidential communication using PDAs | Molina-Jimenez, Carlos |
Collection's Items (Sorted by Submit Date in Descending order): 441 to 460 of 472
