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

    The role of adaptive hypermedia in a context-aware tourist GUIDE.

    Cheverst, K., Mitchell, K. & Davies, N., 1/05/2002, In: Communications of the ACM. 45, 5, p. 47-51 5 p.

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

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

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

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

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

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

  8. Unpublished

    Rendezvous: the case for a highly optimistic real-time consistency mechanism

    Chandler, A. & Finney, J., 12/2004, (Unpublished).

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

  9. Published

    Rendezvous: An Alternative Approach to Conflict Resolution for Real time Multi-user

    Chandler, A. & Finney, J., 01/2005, Proceeding PDP '05 Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing.

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

  10. Published

    On the Effects of Loose Causal Consistency in Mobile Multiplayer Games

    Chandler, A. & Finney, J., 10/2005, Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games. ACM, p. 1-11 1 p.

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

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

  12. Published

    Designing for social interaction with mundane technologies: issues of security and trust

    Bury, S., Ishmael, J., Race, N. J. P. & Smith, P., 04/2010, In: Personal and Ubiquitous Computing. 14, 3, p. 227-236 10 p.

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

  13. Published

    Reconciling community resource requirements in U-Nets

    Bury, S., Ishmael, J., Race, N. J. P., Rouncefield, M. & Smith, P., 2009, Proceedings of the 1st ACM workshop on User-provided networking: challenges and opportunities. New York, NY, USA: ACM, p. 19-24 6 p. (U-NET '09).

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

  14. Published

    Towards an Understanding of Security Concerns within Communities

    Bury, S., Ishmael, J., Race, N. J. P., Smith, P. & Rouncefield, M., 2008, Proceedings of the 2008 IEEE International Conference on Wireless Mobile Computing, Networking Communication. Washington, DC, USA: IEEE Computer Society, p. 478-483 6 p.

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

  15. Published

    Towards resilient community wireless mesh networks

    Bury, S. & Race, N. J. P., 07/2008, AIMS '08 Proceedings of the 2nd International Conference on Autonomous Infrastructure, Management and Security: Resilient Networks and Services. Springer-Verlag, p. 195-199 5 p. (Lecture Notes in Computer Science).

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

  16. Published

    Service Design, New Media and Community Development

    Bury, S., Cheverst, K., Ishmael, J., Mitchell, K., Race, N., Rouncefield, M., Smith, P. & Taylor, N., 2011, Design for services. Meroni, A. & Sangiorgi, D. (eds.). Farnham: Gower, p. 125-130 6 p. (Design for social responsibility).

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

  17. Published

    Characterising and exploiting workloads of highly interactive video-on-demand

    Brampton, A., MacQuire, A., Fry, M., Rai, I., Race, N. J. P. & Mathy, L., 1/02/2009, In: Multimedia Systems. 15, 1, p. 3-17 15 p.

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

  18. Published

    Stealth distributed hash table: a robust and flexible super-peered DHT

    Brampton, A., MacQuire, A., Rai, I., Race, N. J. P. & Mathy, L., 12/2006, Proceedings of the 2006 ACM CoNEXT conference. ACM

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

  19. Published

    Characterising User Interactivity for Sports Video-on-Demand

    Brampton, A., MacQuire, A., Rai, I., Race, N. J. P., Mathy, L. & Fry, M., 06/2007, 17th International Workshop on Network and Operating Systems Support for Digital Audio & Video (NOSSDAV’07).

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

  20. Published

    Stealth Distributed Hash Table: Unleashing the Real Potential of Peer-to-Peer

    Brampton, A., MacQuire, A., Rai, I., Race, N. J. P. & Mathy, L., 10/2005, p. 230 - 231 . 0 p.

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

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

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

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

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

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

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

  27. Unpublished

    Composition in Multi-Paradigm Specification Techniques

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

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

  28. Unpublished

    A Tool Suite to Support Aspect-Oriented Specification

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

    Research output: Other contribution

  29. Unpublished

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

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

    Research output: Other contribution

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

  31. Unpublished

    Feature Interactions Life Beyond Traditional Telephony

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

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

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

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

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

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

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

  37. Published

    Network virtualization in energy-efficient office environments

    Berl, A., Race, N., Ishmael, J. & de Meer, H., 15/11/2010, In: Computer Networks. 54, 16, p. 2856-2868 13 p.

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

  38. Published

    Test strategies for electrode degradation in bio-fluidic microsystems.

    Al-Gayem, Q., Honguan, L., Richardson, A. & Burd, N., 02/2011, In: Journal of Electronic Testing. 27, 1, p. 57-68 12 p.

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

  39. Published

    An on-line monitoring technique for electrode degradation in bio-fluidic microsystems.

    Al-Gayem, Q., Liu, H., Richardson, A. M. D., Burd, N. & Kumar, M., 10/2010, Proceedings of the 2010 IEEE International Test Conference (ITC). Austin, Texas: IEEE, p. 1-10 10 p.

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

  40. Published

    An oscillation-based technique for degradation monitoring of sensing and actuation electrodes within microfluidic systems.

    Al-Gayem, Q., Richardson, A., Liu, H. & Burd, N., 02/2011, In: Journal of Electronic Testing. 27, 3, p. 375-387 13 p.

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

  41. Published

    Built-in Test Solutions for the Electrode Structures in Bio-Fluidic Microsystems

    Al-Gayem, Q., Liu, H., Richardson, A. & Burd, N., 2009, ETS 2009: EUROPEAN TEST SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 73-78 6 p.

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

Previous 1 2 Next

Back to top