SmartLab: Publications: All
The Pervasive and Global Computing Group

  F. Wang and P. A. Nixon, "A Context Information Service for Mobile Applications," Proceedings of the Fifth IEEE International Conference on Mobile and Wireless Communication Networks, 2003.

  W. Wagealla, S. Terzis, C. English, and P. A. Nixon, "On Trust and Privacy in Context Information Systems," To be presented at 2nd iTrust Workshop on Trust Management in Open Dynamic Systems, London, UK, 2003.

  W. Wagealla, M. Cabone, C. English, S. Terzis, and P. Nixon, "A Formal Model of Trust Lifecycle Management," Proceedings of the Workshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003), 2003.

  G. Thomson, M. Richmond, S. Terzis, and P. A. Nixon, "An Approach to Dynamic Context Discovery and Composition," Proceedings of Ubisys: System Support for Ubiquitous Computing Workshop, UbiComp, Seattle, Washington, 2003.

  G. Thomson, S. Terzis, and P. A. Nixon, "Towards Dynamic Context Discovery and Composition," To be Presented at the First UK-UbiNet Workshop, London, UK, 2003.

  G. Stevenson, P. A. Nixon, and R. I. Ferguson, "A General Purpose Programming Framework for Ubiquitous Computing Environments," Proceedings of Ubisys: System Support for Ubiquitous Computing Workshop, UbiComp, Seattle, Washington, 2003.

  P. A. Nixon and S. Terzis, "Trust Management," in Lecture Notes in Computer Science, vol. 2692: Springer-Verlag, 2003.

  D. Lievens, "Increasing Static Error Feedback for Scripting Languages," ECOOP Doctoral Symposium, Darmstadt, Germany, 2003.

  A. Komninos and M. D. Dunlop, "Towards a model for an Internet content pre-caching agent for small computing devices," proceedings of HCI International, Crete, 2003.

  R. Glassey and R. I. Ferguson, "Location Modeling for Pervasive Environments," To be Presented at the First UK-UbiNet Workshop, London, Uk, 2003.

  R. Glassey and R. I. Ferguson, "SpaceSemantics: An Architecture for Environment Modeling," Proceedings of Ubiloc: Location-Aware Computing Workshop, UbiComp, Seattle, Washington, 2003.

  R. Glassey, G. Stevenson, M. Richmond, P. A. Nixon, S. Terzis, F. Wang, and R. I. Ferguson, "Towards a Middleware for Generalised Context Management," Proceedings of the First International Workshop on Middleware for Pervasive and Ad Hoc Computing, Middleware, Rio de Janeiro, Brazil, 2003.

  C. English, S. Terzis, W. Wagealla, H. Lowe, P. A. Nixon, and A. McGettrick, "Trust Dynamics for Collaborative Global Computing," Proceedings of the IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003.

  C. English, W. Wagealla, P. A. Nixon, S. Terzis, A. McGettrick, and H. Lowe, "Trusting Collaboration in Global Computing," Proceedings of the First International Conference on Trust Management, 2003.

  A. Dobbin, "Feedback to aid Formal Specification Error Detection and Correction using Critics," Tenth Workshop on Automated Reasoning, Liverpool, UK, 2003.

  V. Cahill, B. Shand, E. Gray, N. Dimmock, A. Twigg, J. Bacon, C. English, W. Wagealla, S. Terzis, P. A. Nixon, C. Bryce, G. Serugendo, J. Seigneur, M. Carbone, K. Krukow, C. Jensen, Y. Chen, and M. Nielsen, "Using Trust for Secure Collaboration in Uncertain environments," in IEEE Pervasive Computing Magazine, 2003.

  S. Weber, P. A. Nixon, and B. Tangney, "A flexible framework for consistency management," Concurrency and Computation: Practice and Experience Journal, vol. 14, pp. 33-53, 2002.

  S. Terzis (ed.), "Proceedings of the 1st iTrust Workshop on Trust Management in Dynamic Open Systems." Glasgow, UK, 2002.

  S. Terzis, C. English, G. Stevenson, H. Lowe, A. McGettrick, and P. A. Nixon, "Using simulation to explore trust lifecycle issues," Presented at 1st iTrust Workshop on Trust Management in Open Dynamic Systems, Glasgow, UK, 2002.

  P. A. Nixon, F. Wang, S. Terzis, T. Walsh, and S. A. Dobson, "Engineering Context Aware Enterprise Systems," in Proceedings of International workshop on Engineering Context-Aware Object Oriented Software, 2002.

  P. A. Nixon, S. Terzis, F. Wang, and S. A. Dobson, "Architectural Implications for Context Adaptive Smart Spaces," in Proceedings of IEEE International workshop on Networked Appliances, 2002.

  J. Newman, H. Lowe, A. Wallis, and X. Gong, "A Tutorial Task and Tertiary Courseware Model for Collaborative Learning Communities," Proceedings of the European Conference on ELearning, 2002.

  A. McGettrick, C. English, H. Lowe, P. A. Nixon, and S. Terzis, "Trust and Mobility," Presented at 1st iTrust Workshop on Trust Management in Open Dynamic Systems, Glasgow, UK, 2002.

  P. Manghi, F. Simeoni, D. Lievens, and R. C. Connor, "Hybrid Applications over XML - Integrating the Declarative and Navigational Approaches," In Fourth International Workshop on Web Information and Data Management (WIDM'02), Virginia, 2002.

  H. Lowe, "A computational model for trust management," Presented at 1st iTrust Workshop on Trust Management in Open Dynamic Systems, Glasgow, UK, 2002.

  H. Lowe, J. Newman, and A. Wallis, "Role Based Access Control for Vicarious Learning," Proceedings of the European Conference on ELearning, 2002.

  A. Fongen, F. Eliassen, I. Ferguson, S. Stobart, and J. Tait, "A Scalable and Fault-Tolerant Architecture for Distributed Web-Resource Discovery," Proceedings of 14th IASTED Conference on Parallel and Distributed Computing and Systems, Cambridge, USA, 2002.

  C. English and P. A. Nixon, "Trust based Security in Ubiquitous Computing Systems," in Proceedings of International Workshop on Security in Ubiquitous Computing, Ubicomp, 2002.

  C. English, P. A. Nixon, S. Terzis, A. McGettrick, and H. Lowe, "Dynamic Trust Models for Ubiquitous Computing Environments," Security Workshop, Ubicomp, 2002.

  C. English, P. A. Nixon, S. Terzis, A. McGettrick, and H. Lowe, "Security Models for Trusting Network Appliances," Proceedings of the 5th IEEE International Workshop on Networked Appliances, 2002.

  M. D. Dunlop and S. A. Brewster, "The challenges of mobile devices for human computer interaction," Personal and Ubiquitous Computing, vol. 6, pp. pp 235-236, 2002.

  N. A. Bradley and M. D. Dunlop, "Understanding contextual interactions to design navigational context-aware applications," Proceedings of Mobile HCI 02, Pisa, 2002.

  N. A. Bradley and M. D. Dunlop, "Realizing the potential of navigational context-aware technologies to facilitate visually impaired people," Proccedings of Workshop on Building Bridges: Interdisciplinary Context-Sensitive Computing, Glasgow, 2002.

  T. Walsh, P. A. Nixon, and S. A. Dobson, "As Strong as Possible Mobility," Mobile Object Systems : Operating System Support, Security and Programming Models Workshop, 4th European Conference on Object-Oriented Programming, 2001.

  W. Wagealla, T. Osman, and A. Bargiela, "Error Detection Algorithm for Agent-based Distributed Applications," Proceedings of the 2nd Workshop on Agent-based Simulation, Passau, Germany, 2001.

  W. Wagealla, "Mobile Agents for reliable distributed computing," 3rd Conference on Postgraduate Research in Electronics, Photonics, Communication and Software, University of Keele, UK, 2001.

  A. Fongen, F. Eliassen, R. I. Ferguson, S. S., and J. Tait, "Distributed resource discovery using a context sensitive infrastructure," IIWAS, Linz, Austria, 2001.

  M. D. Dunlop and S. A. Brewster, "Proceedings of Mobile HCI 01: Third International Workshop on Human Computer Interaction with Mobile Devices." Lille, 2001.

  T. Walsh, P. A. Nixon, and S. A. Dobson, "Research statement," 1st Annual Workshop on Infrastructure for Scalable Multi-Agent Systems, 2000.

  T. Walsh, P. A. Nixon, and S. A. Dobson, "As Strong as Possible Mobility," Poster presentation in 22nd International Conference on Software Engineering, Limerick, Ireland, 2000.

  S. Terzis and P. A. Nixon, "Component Location and the Role of Trading in Large Scale Distributed Systems," Proceedings of the 5 International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 2000), Limerick, Ireland, 2000.

  P. J. Parsons, F. A. Rabhi, and P. A. Nixon, "Journal of Parallel Architectures and Algorithms," 2000.

  P. A. Nixon, V. Wade, S. Terzis, M. O'Connell, and S. Dobson, "The VIRTUES Architecture: A Software Infrastructure for Business-to-Business E-Commerce," Proceedings of the 2nd International Conference on Enterprise Information Systems (ICEIS 2000), Stafford, UK, 2000.

  P. A. Nixon and I. E. Ritchie, "Parallel and Distributed Software Engineering," IEEE Computer Society Press, 2000.

  A. Lui and P. A. Nixon, "Journal of Software Quality, on Testing Distributed Systems," Kluwer, 2000.

  S. Kapidakis, S. Terzis, and J. Sairamesh, "A Framework for Performance Monitoring, Load Balancing, Adaptive Timeouts and Quality of Service in Digital Libraries," International Journal on Digital Libraries, vol. vol. 3, 2000.

  D. J. Grey, P. Dunne, and R. I. Ferguson, "A Mobile Agent Architecture for Searching the WWW," Proceedings of Workshop on Agents in Industry, 4th International Conference of Autonomous Agents, Barcelona, Spain, 2000.

  D. J. Grey, P. Dunne, and R. I. Ferguson, "On Searching the WWW with Mobile Collaborative Agents," Proceedings of SCI-ISAS2000, Orlando, Florida, 2000.

  D. J. Grey, P. Dunne, and R. I. Ferguson, "A Mobile Agent Architecture for Searching the WWW," Proceedings of International Symposium on Mobile Agent Applications, Baden-Baden, Germany, 2000.

  D. J. Grey, P. Dunne, and R. I. Ferguson, "AgentSeek: a means of efficiently locating resources on the World Wide Web using mobile, collaborative agents," ASIM/SCS Workshop2000 - Agent-based Simulation, University of Passau, Germany, 2000.

  J. Grey, L. Scott, and R. I. Ferguson, "Proceedings of the 2nd International Symposium on the Construction of Software Engineering Tools. (CoSET2000)," University of Wollongong Press, 2000.

  R. I. Ferguson and A. Hunter, "MetaBuilder: The diagrammer's diagrammer," Proceedings of AAAI International Conference on the Theory and Application of Diagrams (Diagrams 2000), University of Edinburgh, UK, 2000.

  R. I. Ferguson and A. Hunter, "On the use of object oriented techniques to support the construction of CASE tools," Proceedings of Americas Conference on Information Systems (AMCIS2000), Long Beach, 2000.

  M. D. Dunlop and K. McDonald, "Supporting different search strategies in a video query interface," Proceedings of RIAO 2000, Paris, 2000.

  M. D. Dunlop and M. Lalmas, "Formal models, usability and related work in IR," editorial for special edition of Information Retrieval, vol. 2, 2000.

  M. D. Dunlop and A. Crossan, "Predictive text entry methods for mobile phones," Personal Technologies, vol. 4, 2000.

  M. D. Dunlop and N. Davidson, "Visual information seeking on palmtop devices," Proceedings of HCI2000, 2000.

  M. D. Dunlop, "Reflections on Mira: Interactive evaluation in information retrieval," Journal of American Society for Information Science, vol. 51, pp. pp 1269-1274, 2000.

  M. D. Dunlop, "Development and evaluation of clustering techniques for finding people," Proceedings of PAKM 2000, 2000.

  S. A. Brewster and M. D. Dunlop, "Human computer interaction with mobile devices," editorial for special edition of Personal Technologies, vol. 4, 2000.

  P. A. Nixon, G. Lacey, and S. A. Dobson, "Managing Interactions in Smart Environments," S. V. Press, Ed., 1999.

  A. Hunter, L. Kennedy, J. Henry, and R. I. Ferguson, "Application of neural networks and sensitivity analysis to improved prediction of trauma survival," Computer Methods and Programs in Biomedicine, 1999.

  R. I. Ferguson, P. N.F., P. Dunne, J. M. Archibald, and J. B. Thompson, "MetaMOOSE - an Object-Oriented Framework for the construction of CASE tools," Proceedings of International Symposium on Constructing Software Engineering Tools (CoSET'99), Los Angeles, 1999.

  R. I. Ferguson, N. F. Parrington, P. Dunne, J. M. Archibald, and J. B. Thompson, "MetaMOOSE - an Object-Oriented Framework for the construction of CASE tools," Journal of Information and Software Technology, vol. Vol 42, 1999.

  T. Osman, W. Wagealla, and A. Bargiela, "An Approach to Rollback Recovery of Collaborating Mobile Agents," IEEE Transactions on Systems, Man and Cybernetics.

  P. A. Nixon and K. Renaud, "Harnessing Context to Achieve Dynamic Management of End-Points," Context Workshop.

 
© The University of Strathclyde, 2002
Last modified on 5/08/04 by ric