EPSRC logo

Details of Grant 

EPSRC Reference: GR/J44926/01
Title: SPECIFICATION AND VALIDATION OF QUALITY OF SERVICE IN OPEN DISTRIBUTED PROCESSING
Principal Investigator: Blair, Professor G
Other Investigators:
Shepherd, Professor D Chetwynd, Dr A Shepherd, Professor W
Researcher Co-Investigators:
Project Partners:
Department: Computing & Communications
Organisation: Lancaster University
Scheme: Standard Research (Pre-FEC)
Starts: 18 March 1994 Ends: 17 August 1996 Value (£): 78,150
EPSRC Research Topic Classifications:
Networks & Distributed Systems
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
The overall aim of the research is to develop formal techniques for the specification and validation of quality of service statements in an Open Distributed Processing environment. More specifically, the programme of research has the following key objectives: 1. To develop the necessary formal techniques and tools for the specification and validation of real-time quality of service properties in ODP.2. To integrate these formal techniques into the existing ODP framework.3. To feed the results of the research into ODP standardisation activities.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.lancs.ac.uk