| EPSRC Reference: |
GR/J44926/01 |
| Title: |
SPECIFICATION AND VALIDATION OF QUALITY OF SERVICE IN OPEN DISTRIBUTED PROCESSING |
| Principal Investigator: |
Blair, Professor G |
| Other Investigators: |
|
| 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 |