School of Computing Science
Collection home page
Collection's Items (Sorted by Submit Date in Descending order): 321 to 340 of 346
| Issue Date | Title | Author(s) |
| 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. |
| 2008 | Exploiting dynamic deployment in a distributed query processor for the grid | Mukherjee, Arijit |
| 1991 | Object replication in a distributed system | Little, Mark Cameron |
| 2009 | On dynamic resource allocation in systems with bursty sources | Slegers, Joris |
Collection's Items (Sorted by Submit Date in Descending order): 321 to 340 of 346
