Now showing items 1-1 of 1

  • 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 ...