Search results - ORA - Oxford University Research Archive

1 - 8 of 8

1

Thesis

Coordinated search with unmanned aerial vehicle teams

Ward, P, Paul Ward
2013

2

Journal article

Area optimisation for field-programmable gate arrays in SystemC hardware compilation

Ditmar, J, McKeever, S, Wilson, A
2008-01-01

3

Thesis

The formalisation and transformation of access control policies

Slaymaker, M, Mark Slaymaker
2011

4

Thesis

Completely iterative monads in semantics of coinductive programs

Pirog, M
2014

5

Thesis

Model-driven development of information systems

Wang, C
2012

6

Thesis

Embedding an object calculus in the unifying theories of programming

Smith, M
2010

7

Report

The ten-page introduction to Trusted Computing

Martin, A
2008-01-01

8

Thesis

Trust and security risks in mobile banking

Messaggi Kaya, M
2013

TO TOP