|
SmartLab: Publications: 2003
The Pervasive and Global Computing Group
|
         |
| |
|
|
| |
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," IEEE Pervasive
Computing Magazine, 2003. |
|
| |
P. A. Nixon and S. Terzis, "Trust Management,"
in Lecture Notes in Computer Science, vol.
2692: Springer-Verlag, 2003. |
|
| |
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, 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. Thomson, M. Richmond, S. Terzis, and P. A.
Nixon, "An Approach to Dynamic Context
Discovery and Composition," Submitted
to Ubisys: System Support for Ubiquitous Computing
Workshop, UbiComp, 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.
|
|
| |
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, 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.
|
|
| |
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 and R. I. Ferguson, "Location
Modeling for Pervasive Environments,"
To be Presented at the First UK-UbiNet Workshop,
London, Uk, 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.
|
|
| |
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.
|
|
| |
A. Dobbin, "Feedback to aid Formal Specification
Error Detection and Correction using Critics,"
Tenth Workshop on Automated Reasoning, Liverpool,
UK, 2003.
|
|
|
|
|
|
|
|
|
|
|
|
© The University of Strathclyde, 2002 |
Last
modified on
6/08/04
by ric
|
|
