On Correctness of Dynamic Protocol Update.

Pawel T. Wojciechowski Olivier Rütti

Published in: FMOODS (2005)

Keyphrases

dynamically updated
dynamically changing
real time
lightweight
data mining
dynamic environments
website
query processing
tcp ip
insertions and deletions
contract net protocol