Now showing items 1-2 of 2

  • Facilitating a well-founded approach to autonomic systems 

    Dobson, Simon (IEEE Computer Society, 2008-04) - Conference item
    While it is desirable for all computing and communications systems to have well-defined and verifiable behaviour, autonomic systems must additionally guarantee that their adaptive behaviour is correct, both in the sense ...
  • Nuclear Energy in the UK : A Review 

    McCauley, Darren Andrew; Heffron, Raphael; North, Pete; Plater, Andy (International Energy Justice Council, 2013-09-01) - Report