Reasoning about Implicit Invocation.

David Garlan Somesh Jha David Notkin

Published in: SIGSOFT FSE (1998)

Keyphrases

web services
fault tolerant
qualitative reasoning
formal theory
databases
learning algorithm
database systems
service discovery
qualitative simulation