Home > Research > Information Systems Services > Publications & Outputs

Research

View graph of relations

Information Systems Services

101 - 141 out of 141Page size: 100
RSS feed of this list
  1. 2001
  2. Published

    Using Context as a Crystal Ball: Rewards and Pitfalls

    Cheverst, K., Davies, N., Mitchell, K. & Efstratiou, C., 2001, In: Personal and Ubiquitous Computing. 5, 1, p. 8-11 4 p.

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

  3. 2000
  4. Published

    A dynamic RAM cache for high quality distributed video

    Race, N. J. P., Waddington, D. & Shepherd, W., 10/2000, Proceedings of the 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS '00). Scholten, H. & Sinderen , M. V. (eds.). London: Springer Verlag, p. 26-39 14 p.

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

  5. Unpublished

    A Formal View of Aspects in the Development of Component-Based Distributed Systems

    Blair, G. S., Blair, L. & Andersen, A., 09/2000, (Unpublished)

    Research output: Other contribution

  6. Published

    Experiences of Developing and Deploying a Context-Aware Tourist Guide: The GUIDE Project

    Cheverst, K., Davies, N., Mitchell, K. & Friday, A., 08/2000, p. 20-31. 12 p.

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

  7. Published

    An experimental dynamic RAM video cache

    Race, N. J. P., Waddington, D. & Shepherd, W., 06/2000, Proceedings of Network and Operating Systems Support for Digital Audio and Video (NOSSDAV 2000). Jeffay , K. & Vin, H. (eds.).

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

  8. Unpublished

    Feature Interactions Life Beyond Traditional Telephony

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

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

  9. Unpublished

    Supporting Dynamic QoS Management Functions in a Reflective Middleware Platform

    Blair, G. S., Blair, L., Coulson, G., Andersen, A. & Sanchez, D., 02/2000, (Unpublished) In: IEE Proceedings - Software. 147, 1, p. 13-21 9 p.

    Research output: Contribution to Journal/Magazine › Journal article

  10. Unpublished

    From Design to Execution of a Mechatronic System

    Chandler, A., Seward, D. & Chaplin, R., 01/2000, (Unpublished).

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

  11. Published

    Sharing (location) context to facilitate collaboration between city visitors

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

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

  12. Unpublished

    Support for video distribution through multimedia caching

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

    Research output: Thesis › Doctoral Thesis

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

  14. 1999
  15. 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

  16. Unpublished

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

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

    Research output: Other contribution

  17. Unpublished

    A Tool Suite to Support Aspect-Oriented Specification

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

    Research output: Other contribution

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

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

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

  21. Unpublished

    Composition in Multi-Paradigm Specification Techniques

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

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

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

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

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

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

  26. 1998
  27. 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

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

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

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

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

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

  33. 1997
  34. 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

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

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

  38. 1994
  39. 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

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

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

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

  43. 1993
  44. 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

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

  46. 1992
  47. 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

  48. 1991
  49. 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

  50. 1990
  51. 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

  52. 1986
  53. 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