Login / Signup

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.

Andreas UlrichHesham HallalAlexandre PetrenkoSergiy Boroday
Published in: HICSS (2003)
Keyphrases
  • distributed systems
  • real time systems
  • log files
  • fault tolerant
  • fault tolerance
  • distributed environment
  • mobile agents
  • load balancing
  • log analysis
  • machine learning
  • social networks
  • website
  • security policies