1. Newcastle University eTheses

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 143 (Search time: 0.001 seconds).
Item hits:
Issue DateTitleAuthor(s)
2011Reasoning about programs using operational semantics and the role of a proof support toolHughes, John Robert Derek
2011Practical applications of performance modelling of security protocols using PEPAZhao, Yishi
2012Situated navigation support for heterogeneous large crowds via augmented signageHamhoum, Fathi
2012Enhancing intrusion resilience in publicly accessible distributed systemsClarke, Dylan James
2011Design time detection of architectural mismatches in service oriented architecturesGamble, Carl Jeffrey
2011Design and performance study of algorithms for consensus in sparse, mobile ad-hoc networksAlekeish, Khaled
2012Engaging older adults and people with dementia in the design of digital technologiesLindsay, Stephen Colin
2012Human activity recognition for pervasive interactionPham, Cuong Van
2012Continuous probability distributions in model-based specification languagesAndrews, Zoe Helen
2012Fault injection testing method of software implemented fault tolerance mechanisms of web service systemsFarj, Khaled Ali Saleh

Discover