Correctness is not enough

Published in: CoRR (2008)

Keyphrases

distributed systems
machine learning
artificial intelligence
search engine
website
multi agent
data model
provably correct