There are 137 closed research projects. Further details can be found by following the links.
Project Name
[ sort by name ] |
Enddate
[ sort by enddate ] |
|
31 Dec 2002 |
| A European Network for Increased Safety at Small Enterprises ( ISA-EUNET ) |
31 Dec 1999 |
| A System for Parallel Model Checking |
31 Dec 2002 |
| Accompanying Measure on System Dependability ( AMSD ) |
31 Mar 2003 |
| Advanced Multi-Agency Service Environment ( AMASE ) |
31 Dec 2002 |
| Algebraic Net Theory ( ANT ) |
31 May 1998 |
| Algebraic Tools for Modelling Telecommunication Systems ( ATMTS ) |
31 Mar 1998 |
| Alliance Project |
|
| An active information repository for bioinformatics and neuroinformatics research |
|
| Analysis of Safety Requirements for Safety-Critical Systems ( SCHEMA ) |
29 Feb 1996 |
| Applications of Smartdust in Transport ( ASTRA ) |
30 Jun 2005 |
| Assembly Language Programming - Multimedia Courseware (TDF) |
31 Dec 1996 |
| Assuring Programmable Electronic Systems ( APES ) |
31 Oct 1999 |
| Asynchronous Circuit Design (Working Group) ( ACID-WG ) |
30 Apr 1999 |
| Asynchronous circuit synthesis and testing ( ASTI ) |
30 Sep 1998 |
| Asynchronous Communication Mechanisms for Real-Time Systems ( COMFORT ) |
31 Mar 2001 |
| Automated Synthesis of Asynchronous Control Circuits |
31 Dec 1995 |
| Automated Synthesis of Asynchronous Control Circuits (2) |
31 Jan 1996 |
| Automated Synthesis of Synchronous and Asynchronous Parallel Controllers (Joint application with Deptartment of Electronic and Electrical Engineering) ( ASSAPC ) |
30 Sep 1996 |
| Bainbridge |
30 Sep 1992 |
| Basic Research on Advanced Distributed Computing: from Algorithms to Systems ( BROADCAST ) |
31 Aug 1995 |
| Basic Research On Advanced Distributed Computing: from Algorithms to SysTems II ( BROADCAST-II ) |
31 Jul 1998 |
| Basic Research On Advanced Distributed Computing: from Algorithms to SysTems WG ( BROADCAST-WG ) |
31 Aug 1999 |
| Behavioural REfinements for Asynchronous Circuit syntHesis ( BREACH ) |
14 Jan 2002 |
| Behavioural Synthesis of Systems with Heterogenous Timing ( BESST ) |
|
| Bioinformatics research group (outline bid) |
|
| Box Algebra with Asynchronous Communications ( BEACON ) |
28 Feb 2003 |
| Box Algebra with Time ( BAT ) |
31 May 2001 |
| BRAIN ( BRAIN ) |
30 Sep 1995 |
| Building responsive and available information discovery and repository services |
30 Jun 1996 |
| CaberNet Research Training Institute ( CaberNet RTI ) |
31 Jan 1998 |
| CAD Tools |
31 Mar 1999 |
| Causal Calculi Based on Nets ( CALIBAN ) |
23 Jul 1995 |
| Centre for High Performance Computing and Networking |
11 Sep 1997 |
| Common Brokerage Architecture ( COBRA ) |
30 Sep 1998 |
| Comparison of Conventional and Formal Methods in the Development of a Secure System ( ConForm ) |
30 Sep 1996 |
| Compositional Nets For Real-Time Systems ( COMFORT ) |
31 Mar 2000 |
| COmputational HEteRogEneously timed NeTworks ( COHERENT ) |
2 Aug 2002 |
| Continuing Education - C++ |
2 Aug 2002 |
| Control and Coordination of Complex Distributed Services ( C3DS ) |
31 Dec 2000 |
| DaPPLE: A Visual Design System for Parallel Program Generation ( DaPPLE ) |
|
| Deconstructive Evaluation of Risk In Dependability Arguments and Safety Cases ( DERIDASC ) |
31 Dec 2003 |
| Dependable Embedded system design with petri NeTs ( DENT ) |
31 Jul 2000 |
| Dependable Services For Competitive Bidding on the Internet ( DSCB ) |
31 Jan 2002 |
| Dependable System of Systems ( DSoS ) |
31 Mar 2003 |
| Dependable WWW Services |
31 Oct 1997 |
| Design for Validation ( DeVa ) |
14 Dec 1998 |
| Design tools for synthesis of asynchronous systems and circuits ( SPAIN ) |
31 Mar 1997 |
| Designs Amenable to Safety Case Demonstration |
31 Aug 1996 |
| Disaster Recovery in Telecommunications Systems |
31 Oct 1997 |
| Distributed Query Processing on the Grid ( OGSA-DAI ) |
31 Mar 2005 |
| Diversity in Safety Critical Software ( DISCS ) |
30 Nov 1999 |
| Diversity with Off-The-Shelf Components ( DOTS ) |
30 Jun 2004 |
| E-Commerce |
12 Dec 2002 |
| e-Science Solutions for the Analysis of Complex Systems ( eXSys ) |
28 Feb 2005 |
| EPSRC Studentship - AS McGough |
30 Sep 1999 |
| European Network of Clubs for REliability and Safety of Software ( ENCRESS ) |
30 Jun 1997 |
| Examine the use of enterprise modelling and information technology in re-engineering business processes in primary health care |
|
| Exception Handling in Concurrent and Distributed Systems |
|
| Extended Object Databases for building distributed object applications |
|
| Extended Transactions |
30 Sep 2001 |
| Fault tolerance in telecommunications systems |
31 Dec 1998 |
| Formal Methods Europe Information Resources ( FME Inf Res ) |
30 Jun 1997 |
| Formal Methods Industrial Seminars ( FME Ind Sem ) |
30 Nov 1997 |
| Framework for Dynamically Configurable Distributed Transactional Applications |
31 Jul 1999 |
| Generic Systems Synthesis ( GENESIS ) |
|
| GOLDRUSH Megaserver for non-numeric parallel computing |
31 Oct 1999 |
| Grid Scheduling, Hosting Environment Design ( GridSHED ) |
31 Oct 2005 |
| GRID-Enabled Neuroscience |
31 Mar 2004 |
| Hazard-free arbiter design ( HADES ) |
29 Feb 2000 |
| High Performance (Parallel) Object-Oriented Software Systems ( HiPPO ) |
31 Dec 2004 |
| Hollingwood -EPSRC Case |
30 Sep 1998 |
| Impact of architecture on telecommunications |
31 Oct 1993 |
| Implicit Parallel Programming on the Newcastle Parallel Machine |
30 Sep 1999 |
| Information Coordination and Sharing in Virtual Enterprises |
30 Oct 2003 |
| Infrastructure for Responsive and Available Distributed Systems |
31 Mar 1999 |
| Instantiating Responsibility in Information Systems ( IRIS ) |
31 Aug 2000 |
| Integration of Safety Analysis Techniques for Process Control Systems ( ISAT ) |
31 Mar 1997 |
| International Exchange - N Anissimov |
24 Dec 1996 |
| Java in Pep ( JIP ) |
31 Mar 2004 |
| Leverhulme Fellowship - E. Pastor |
25 Nov 1998 |
| Malicious-and Accidental-Fault Tolerance for Internet Applications ( MAFTIA ) |
28 Feb 2003 |
| Middleware for Composable and Dynamically Adaptable Services ( MIDAS ) |
31 May 2003 |
| Middleware Services and Tools for managing Resource Sharing in Virtual Organisations ( GridMist ) |
31 Jul 2003 |
| Middleware Services for Scalable Networked Virtual Environments |
31 Mar 2006 |
| Middleware Technologies for Adaptive and Composable Distributed Systems ( ADAPT ) |
31 Aug 2005 |
| MOdel VIsualisation for asynchronous circuit dEsign ( MOVIE ) |
31 Dec 2002 |
| Multi-party processes for Large-scale Electronic Commerce transactions ( MULTIPLECX ) |
22 Mar 2000 |
| Multithread Processor Design |
31 May 2000 |
| MyGrid ( MyGrid ) |
31 Dec 2002 |
| myGrid - directly supporting the e-scientist ( myGrid ) |
30 Mar 2005 |
| National Host Interconnection Experiment ( NICE ) |
31 Dec 1996 |
| Network of Excellence in Distributed Computing Systems Architectures ( CaberNet ) |
31 Mar 2004 |
| Network of Excellence in Distributed Computing Systems Architectures ( CaberNet ) |
30 Jun 1999 |
| Network of Excellence in Distributed Computing Systems Architectures ( CaberNet ) |
23 Oct 1995 |
| Network of networks in system theory |
|
| North East Regional E-Science Centre ( NERESC ) |
30 Sep 2004 |
| Object-oriented Programming technology for Extensible Network SERVicEs ( OpenServe ) |
31 May 1999 |
| Openbase development |
21 Jul 1996 |
| Organizational Requirements Definition for Information Technology Systems ( ORDIT ) |
31 Dec 1993 |
| Parallel and distributed object-oriented languages: semantics and development method |
|
| Parallel Combinational Algorithms |
|
| Parallel Object Oriented Database Servers ( POLAR ) |
31 Mar 2001 |
| Parallel Object Oriented Database Servers ( POLAR* ) |
31 Dec 2004 |
| Performance Engineering of Distributed Systems and Wide Area Networks ( WAN ) |
30 Nov 2000 |
| Petri Nets - Postdoctoral Fellowship (Dr. Mirkowski) |
31 Jan 1999 |
| Petrify tools |
|
| PhD Case Studentship |
31 Aug 2005 |
| Predictably Dependable Computing Systems 2 ( PDCS2 ) |
31 Oct 1995 |
| PROTEUS: Understanding changing requirements ( PROTEUS ) |
30 Apr 1996 |
| Protocols for Adhoc Collaborative Environments ( PACE ) |
31 Oct 2005 |
| Quality of Service in Multi Mode Delivery of Teleteaching ( MMDT ) |
|
| Quantitative Modelling In Parallel Systems ( QMIPS ) |
30 Sep 1995 |
| Requirements Engineering Network Of International cooperating Research groups ( RENOIR ) |
31 May 2000 |
| Research network in systems in public spaces |
|
| Robust Interactive Services over Broadband Networks |
31 Dec 1999 |
| Royal Society Fellowship - Bin Liu |
4 Mar 1999 |
| SafeGames: A Game Theoretic Approach for the Design of Safety-Critical Systems ( SafeGames ) |
31 Oct 1999 |
| SDSM ( SDSM ) |
3 Apr 1994 |
| Security Architecture Issues of CORBA |
31 Mar 2000 |
| Software fault tolerance in concurrent object oriented programming |
31 Mar 1997 |
| Software Implemented Fault Tolerance for Telecommunications |
1 Oct 1998 |
| Software Tools and Techniques for Network Wide Services ( NETWISE ) |
31 Mar 1999 |
| Subversion in Dispersed e-Business |
31 Oct 2000 |
| Tele Application for European Regions ( SUN 2 ) |
25 Feb 2000 |
| The Development of a Prototype for a Continuous Media File Server System |
|
| The Development of an Information Repository for Microbial Genome Comparisons using a Parallel Object Based Architecture ( MicroBase ) |
31 Dec 2002 |
| Theoretical Approach for the Modelling and Analysis of Hybrid Systems |
|
| Time-Predictable Hardware Platforms ( TIMBRE ) |
31 Mar 2000 |
| Tools and Architectural Support for Building Fault-Tolerant Applications |
31 Oct 1995 |
| Traceability for Dependable Avionic Systems |
31 Mar 2000 |
| Translation of logic equations into Petri net based on specifications. Miss P.H. Lee (Vacation Scholarship) |
31 Aug 1996 |
| Trusted and QoS-Aware Provision of Application Services ( TAPAS ) |
31 Mar 2005 |
| Validation Techniques for Real-Time Distributed Systems |
30 Sep 1998 |
| Verifying Interaction Abstractions in High Integrity Cocurrent Systems using Petri Nets ( VINTAGE ) |
|
| Visit of Prof. V. Krarchenko |
23 Feb 2004 |
| Visiting Fellow: Dr J. Goldberg |
30 Sep 1996 |
Faculty of Science Agriculture and Engineering 
Top of Page | | Page Maintainer