Login / Signup

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models.

Jeremy T. BradleyStephen T. GilmoreJane Hillston
Published in: J. Comput. Syst. Sci. (2008)
Keyphrases
  • machine learning
  • multi agent
  • computer networks
  • concurrent systems
  • process algebra
  • real time
  • knowledge base
  • optimal solution
  • dynamic programming
  • distributed systems
  • formal specification