Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
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
2008	Encounter gossip: a high coverage broadcast protocol for MANET	Cooper, David