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

Issue Date	Title	Author(s)
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
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