Home > Research > Information Systems Services > Publications & Outputs

Research

View graph of relations

Information Systems Services

101 - 132 out of 132Page size: 100
RSS feed of this list
  1. 2000
  2. Unpublished

    Support for video distribution through multimedia caching

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

    Research output: Thesis › Doctoral Thesis

  3. Unpublished

    Testing Petri Nets for Mobile Robots Using Groebner Bases

    Chandler, A., Blair, L., Heyworth, A. & Seward, D., 01/2000, (Unpublished).

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

  4. 1999
  5. Published

    Design of an Object Model for a Context-Sensitive Tourist Guide

    Cheverst, K., Davies, N., Mitchell, K. & Friday, A., 11/1999, Computers & Graphics : Elsevier Science Ltd.

    Research output: Other contribution

  6. Unpublished

    The Role of Temporal Logic and Time Automata in Distributed Multimedia Systems

    Blair, L., 11/1999, (Unpublished)

    Research output: Other contribution

  7. Unpublished

    A Tool Suite to Support Aspect-Oriented Specification

    Blair, L. & Blair, G. S., 06/1999, (Unpublished)

    Research output: Other contribution

  8. Published

    The hybrid edge device concept and implementation in the PETERPAN network architecture: a proposal for IP QoS provisioning on ATM networks

    Ciulli, N., Giordano, S., Casaca, A., Silva, P., Dunmore, M. & Race, N., 24/05/1999, Proceedings of IEEE ATM Workshop '99. Kochi, Japan : IEEE Publishing, p. 57-62 6 p.

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

  9. Unpublished

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

    Chandler, A., Yavuz, H., Bradshaw, A. & Seward, D., 05/1999, (Unpublished) Lancaster University.

    Research output: Thesis › Doctoral Thesis

  10. Published

    Caches in the Air: Disseminating Information in the Guide System

    Davies, N., Cheverst, K., Mitchell, K. & Friday, A., 02/1999, p. 11-19. 9 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  11. Unpublished

    Composition in Multi-Paradigm Specification Techniques

    Blair, L. & Blair, G. S., 02/1999, (Unpublished).

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

  12. Published

    The Role of Connectivity in Supporting Context-Sensitive Applications

    Cheverst, K., Davies, N., Mitchell, K. & Friday, A., 01/1999.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  13. 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

  14. Published

    Consequences of adiabatic cooling within volcanic conduits on Earth and Mars.

    Mitchell, K. L., Wilson, L. & Wilson, C. J. N., 1999, In: Lunar and Planetary Science. 30, 1716

    Research output: Contribution to Journal/Magazine › Journal article

  15. Published

    Modelling explosive volcanic eruptions: a planetary perspective.

    Wilson, L., Head, J. W., Mitchell, K. L. & Cataldo, V., 1999, In: Transactions. 80, p. F1083-F1083

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  16. 1998
  17. Unpublished

    Network Modelling of Smoke Spread in Buildings

    Chandler, A., Cho, T. C., Leung Ming, L. J. & Graham, T. L., 11/1998, (Unpublished)

    Research output: Other contribution

  18. Published

    Supporting QoS over Heterogeneous Networks using RSVP and IPv6

    Race, N. J. P., Dunmore, M. & Shepherd, W., 25/09/1998, Proceedings of the 3rd International Distributed Conference (IDC '98) 'Technology Serving the Information Society'.

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

  19. Published

    The Impact of Aspect-Oriented Programming on Formal Methods

    Blair, L. & Blair, G. S., 01/1998. 6 p.

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

  20. Published

    Formal specification of distributed multimedia systems.

    Blair, G. S., Blair, L., Bowman, H. & Chetwynd, A. G., 1998, UCL Press.

    Research output: Book/Report/Proceedings › Book

  21. Published

    Implications of the apparent absence of maars in Viking Orbiter imagery.

    Mitchell, K. L. & Wilson, L., 1998, In: Lunar and Planetary Science. 29, 1589

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  22. Published

    Tharsis Montes as stratovolcanoes? : 2. Lines of evidence for explosive volcanism in far-field deposits.

    Wilson, L., Head, J. W. & Mitchell, K. L., 1998, In: Lunar and Planetary Science. 29, 1125

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  23. 1997
  24. Published

    How to generalise the task of annotation

    Fligelstone, S., Pacey, M. & Rayson, P., 01/1997, Corpus Annotation: Linguistic Information from Computer Text Corpora. Garside, R., Leech, G. & McEnery, A. (eds.). London: Longman, p. 122-136 15 p.

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

  25. 1995
  26. Published

    Formal description of multimedia systems : an assessment of potential techniques.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 12/1995, In: Computer Communications. 18, 12, p. 964-977 14 p.

    Research output: Contribution to Journal/Magazine › Journal article

  27. Published

    Formal specification and verification of multimedia systems in open distributed processing.

    Blair, L., Blair, G. S., Bowman, H. & Chetwynd, A. G., 30/09/1995, In: Computer Standards and Interfaces. 17, 5-6, p. 413-436 24 p.

    Research output: Contribution to Journal/Magazine › Journal article

  28. 1994
  29. 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

  30. 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

  31. 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

  32. Published

    Time versus abstraction in formal descriptions.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). Tenney, R. L., Amer, P. D. & Uyar, U. (eds.). North Holland: Elsevier

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

  33. 1993
  34. Published

    Artificial intelligence in the control and operation of construction plant - the autonomous robot excavator.

    Bradley, D. A., Seward, D. W., Mann, J. E. & Goodwin, M. R., 1993, In: Automation in Construction. 2, 3, p. 217-228 12 p.

    Research output: Contribution to Journal/Magazine › Journal article

  35. 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

  36. 1992
  37. 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

  38. 1991
  39. Published

    Localization properties of fractons in percolating structures

    Lambert, C. & Hughes, G. D., 25/02/1991, In: Physical review letters. 66, 8, p. 1074-1077 4 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  40. 1990
  41. Published

    Critical dynamics of a dilute central force network with partial bond bending forces

    HUGHES, G. D., LAMBERT, C. J. & BURTON, D., 9/04/1990, In: Journal of Physics: Condensed Matter. 2, 14, p. 3399-3403 5 p.

    Research output: Contribution to Journal/Magazine › Letter › peer-review

  42. 1986
  43. Published

    Theory of electron trapping by micropores in tight-binding solids

    LAMBERT, C. J. & HUGHES, G. D., 10/10/1986, In: Journal of Physics C: Solid State Physics. 19, 28, p. L659-L665 7 p.

    Research output: Contribution to Journal/Magazine › Letter › peer-review

Previous 1 2 Next

Back to top