School of Computing
Collection home page
Collection's Items (Sorted by Submit Date in Descending order): 421 to 440 of 449
| Issue Date | Title | Author(s) |
| 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 |
| 2009 | Revenue maximization problems in commercial data centers | Mazzucco, Michele |
| 1998 | Image categorisation using parallel network constructs: an emulation of early human colour processing and context evaluation | Robertson, Craig |
| 1988 | Object Management for Persistence and Recoverability | Dixon, Graeme N. |
Collection's Items (Sorted by Submit Date in Descending order): 421 to 440 of 449
