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

Issue Date	Title	Author(s)
1997	Performance modelling of replication protocols	Misra, Manoj
2007	Monitoring middleware for distributed applications	Parkin, Simon Edward
2005	Formal modelling and analysis of an asynchronous communication mechanism	Henderson, Neil
2004	The theory and practice of refinement-after-hiding	Burton, Jonathan
2006	Exploiting method semantics in client cache consistency protocols for object-oriented databases	Dwiartanto, Johannes
2007	System support for interactive applications in ad hoc networks	Lin, Nan
2004	Attack-class-based analysis of intrusion detection systems	Alessandri, Dominique
1994	Exploiting parallelism in n-D convex hull algorithms	Eyoh, edet Okon
2006	Resource allocation policies for service provisioning systems	Palmer, Jennie
2007	Scalable collision detection for distributed virtual environments	Storey, Kier
2001	Formal modelling and analysis of broadcasting embedded control systems	Kendall, David
1998	Shape-preserving algorithms for curve and surface design	Iqbal, Rafhat
2005	Combating state explosion in the detection of dynamic properties of distributed computations	Achmatowicz, Richard
2006	Guess my vote: a study of opacity and information flow in voting systems	Peacock, Thea
2004	Security management for services that are integrated across enterprise boundaries	Aljareh, Salem Sultan
1997	Fault-tolerant parallel applications using a network of workstations	Smith, James Antony
1974	Reference retrieval based on user induced dynamic clustering	Oddy, Robert N.
1974	Studies of some feedback control mechanisms in operating systems	Alderson, Albert
1999	To formalise and implement a categorical object-related database system	Nelson, David Alan
1997	Development of a methodology and an expert system for disaster recovery	Al-Harbi, Fahhad