Login / Signup

A methodology for verifying request processing protocols.

Christos NikolaouEdmund M. ClarkeNissim FrancezStephen A. Schuman
Published in: SIGCOMM (1983)
Keyphrases
  • information processing
  • real time
  • data processing
  • real world
  • multi party
  • computer vision
  • decision making
  • multiscale
  • evolutionary algorithm
  • data management
  • conceptual model