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

Issue Date	Title	Author(s)
1990	A framework for the requirements analysis of safety-critical computing systems	Saeed, Amer
2006	Middleware services for distributed virtual environments	Lu, Fengyun
1972	A numerical investigation of the Rayleigh-Ritz method for the solution of variational problems	Lloyd, John Lionel
1995	Parallel algorithms for numerical linear algebra on a shared memory multiprocessor	Kaya, Dogan
1986	Multicast communications in distributed systems	Hughes, Frank Lawrence Kingsman
1981	The extension and application of Swet's theory of information retrieval	Heine, Michael Hubert
1994	A knowledge-based decision support system for computer disaster prevention in IT centres	Danish, Tawfig Yousef.
1997	Verification and synthesis of asynchronous control circuits using petri net unfoldings	Semenov., Alexei
1973	An analysis of the structure of trees and graphs	Snow, C.R.
2004	Contract representation for validation and run time monitoring	Solaiman, Ellis
1981	Semantics, verification and design of concurrent programs using atomic actions	Best, Eike
1990	The exploitation of parallelism on shared memory multiprocessors	Stoker, Michael Allan
2006	An algebra of Petri nets with arc-based timing restrictions	Niaouris, Apostolos
1998	A language and toolkit for the specification, execution and monitoring of dependable distributed applications	Ranno, Frederic
1987	Naming issues in the design of transparently distributed operating systems	Stroud, Robert James
1997	Performance and reliability in distributed systems	Thomas, Nigel Anthony
1999	Fault-tolerant software: dependability/performance trade-offs, concurrency and system support	Xu, Jie
1999	A middleware service for fault-tolerant group communications	Morgan, Graham
1998	Synthesis and axiomatisation for structural equivalences in the Petri Box Calculus	Hesketh, Martin
2006	The effect of diverse development goals on computer-based system dependability	Lawrie, Anthony Thomas