School of Computing
Collection home page
Collection's Items (Sorted by Submit Date in Descending order): 441 to 459 of 459
| Issue Date | Title | Author(s) |
| 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 |
| 2008 | Encounter gossip: a high coverage broadcast protocol for MANET | Cooper, David |
| 2008 | A BitTorrent-based peer-to-peer database server | Colquhoun, John |
| 2008 | A programming system for process coordination in virtual organisations | Woodman, Simon |
| 2006 | Middleware support for non-repudiable business-to-business interactions | Cook, Nicholas |
| 2008 | Design components | Iliasov, Alexei |
| 2008 | Automatic lighting design | Ha, Hai Nam |
Collection's Items (Sorted by Submit Date in Descending order): 441 to 459 of 459
