Home > Research Search

Research

Search for research

31 - 40 out of 7,830Page size: 10
Sort by: Rating
  1. Unpublished

    Grobner Bases as a Tool for Petri Net Analysis

    Chandler, A. & Heyworth, A., 07/2001, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  2. Unpublished

    Feature Interactions Life Beyond Traditional Telephony

    Blair, L. & Pang, J., 05/2000, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  3. Unpublished

    Support for video distribution through multimedia caching

    Race, N. J. P., 01/2000, (Unpublished) Lancaster University.

    Research output: Thesis › Doctoral Thesis

  4. Published

    Controlling an intelligent excavator for autonomous digging in difficult ground.

    Seward, D. W., Bradley, D. A., Mann, J. E. & Goodwin, M. R., 1992, 9th international symposium on automation and robotics in construction. Tokyo

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  5. Published

    Digging into Concurrency

    Chandler, A., Patching, S. & Blair, L., 2002, Concurrency in Dependable Computing. Ezhilchelvan, P. & Romanovsky, A. (eds.). Boston, Mass.: Kluwer Academic Publishers

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    Conceptual design and development of a navigation system for a mobile robot.

    Yavuz, H., Chandler, A., Bradshaw, A. & Seward, D. W., 1999, Proceedings of the 1999 Lancaster international workshop on engineering design: computer-aided conceptual design ’99 (CACD ’99). Bradshaw, A. & Counsell, J. M. (eds.). Windermere, p. 65-85 21 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  7. Published

    A framework for the formal specification of multimedia systems in open distributed processing MPG-93-12 J.

    Blair, L., Blair, G. S., Bowman, H., Chetwynd, A. G. & Papathomas, M., 1994, Proceedings of the Workshop on Distributed Multimedia Applications and Quality of Service Verification. Montreal

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  8. Published

    Formal description of distributed multimedia systems.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1993, Proceedings of the 9th British Colloquium for Theoretical Computer Science. York

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  9. Published

    A formal description technique supporting quality of service and media synchronisation.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of Cost 237 : multimedia transport and teleservices. Springer

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  10. Published

    A framework for the formal specification and verification of distributed multimedia systems.

    Blair, L., Blair, G. S., Bowman, H. & Chetwynd, A. G., 1994, Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Previous 1 2 3 4 5 6 7 8 ...783 Next