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

Issue Date	Title	Author(s)
1992	Selective transparency in distributed transaction processing	McCue, Daniel Lawrence
1970	The evaluation of large information retrieval systems with application to MEDLARS	Miller, W.L.
1982	The effects of size on the function of an information retrieval document collection	Mushens, Brian G.
1966	The manipulation of trees and linear graphs within a computer and some applications	Obruca, Alex Karel
1996	Specification and verification issues in a process language	Pappalardo, Giuseppe
2002	Automated test generation from algebraic specifications	Pietschker, Andrej
1977	Data dependent program generation	Quarendon, Peter
2003	Managing active object scalability on distributed memory: with a case study in parallel VRML	Rischbeck, Thomas
1986	The generation of concurrent code for declarative languages	Rothwell, Nicholas John
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