Managing HIV in pregnancy in Glasgow (2008)
Patton, V, Fox, R, Nandwani, R, Seaton, A, MacConnachie, A, Hepburn, M, ...
No abstract available.
Regular audit can lead to changes in practice and better outcomes for pregnant women with HIV (2008)
Patton, V, Fox, R, Nandwani, R, Seaton, A, MacConnachie, A, Hepburn, M, ...
No abstract available.
Integrity Analysis and Coercion in Distributed Systems (2006)
This thesis presents a new approach to modelling the security and integrity of data in distributed and ad-hoc networks of processes. An annotated type based analysis is introduced which ensures that...
Integrity Analysis and Coercion in Distributed Systems (2006)
This thesis presents a new approach to modelling the security and integrity of data in distributed and ad-hoc networks of processes. An annotated type based analysis is introduced which ensures that...
Integrity Analysis and Coercion in Distributed Systems (2006)
This thesis presents a new approach to modelling the security and integrity of data in distributed and ad-hoc networks of processes. An annotated type based analysis is introduced which ensures that...
Integrity Analysis and Coercion in Distributed Systems (2006)
This thesis presents a new approach to modelling the security and integrity of data in distributed and ad-hoc networks of processes. An annotated type based analysis is introduced which ensures that...
Integrity Analysis and Coercion in Distributed Systems (2006)
This thesis presents a new approach to modelling the security and integrity of data in distributed and ad-hoc networks of processes. An annotated type based analysis is introduced which ensures that...
Integrity Analysis and Coercion in Distributed Systems (2006)
This thesis presents a new approach to modelling the security and integrity of data in distributed and ad-hoc networks of processes. An annotated type based analysis is introduced which ensures that...
Integrity Analysis and Coercion in Distributed Systems (2006)
This thesis presents a new approach to modelling the security and integrity of data in distributed and ad-hoc networks of processes. An annotated type based analysis is introduced which ensures that...
Integrity Analysis and Coercion in Distributed Systems (2006)
This thesis presents a new approach to modelling the security and integrity of data in distributed and ad-hoc networks of processes. An annotated type based analysis is introduced which ensures that...
Determining Trust in Cooperating Agent-based Systems (2004)
A common problem in intelligent-agent-based systems is that of cooperation. It is imperative that such systems can reliably determine which agents may be safely engaged with, and which should be...
Determining Trust in Cooperating Agent-based Systems (2004)
A common problem in intelligent-agent-based systems is that of cooperation. It is imperative that such systems can reliably determine which agents may be safely engaged with, and which should be...
Determining Trust in Cooperating Agent-based Systems (2004)
A common problem in intelligent-agent-based systems is that of cooperation. It is imperative that such systems can reliably determine which agents may be safely engaged with, and which should be...
Execution Contexts for Determining Trust in a Higher-Order pi-Calculus (2003)
A type system for the higher order pi-calculus is presented, using boolean annotations to carry information about the integrity of data. This extends previous work by the authors for a first order...
Execution Contexts for Determining Trust in a Higher-Order pi-Calculus (2003)
A type system for the higher order pi-calculus is presented, using boolean annotations to carry information about the integrity of data. This extends previous work by the authors for a first order...
Execution Contexts for Determining Trust in a Higher-Order pi-Calculus (2003)
A type system for the higher order pi-calculus is presented, using boolean annotations to carry information about the integrity of data. This extends previous work by the authors for a first order...
Trust in the pi-Calculus (2001)
We introduce a new system of trust analysis for concurrent and distributed systems using the pi-calculus as a modelling tool. A Type system using boolean annotations guarantees that no run-time...
Trust in the pi-Calculus (2001)
We introduce a new system of trust analysis for concurrent and distributed systems using the pi-calculus as a modelling tool. A Type system using boolean annotations guarantees that no run-time...
Trust in the pi-Calculus (2001)
We introduce a new system of trust analysis for concurrent and distributed systems using the pi-calculus as a modelling tool. A Type system using boolean annotations guarantees that no run-time...
Integrity Analysis and Coercion in Distributed Systems
This thesis presents a new approach to modelling the security and integrity of data in distributed and ad-hoc networks of processes. An annotated type based analysis is introduced which ensures that...