Modularizing and Specifying Protocols among Threads

Sung-Shik T. Q. Jongmans Farhad Arbab

Published in: PLACES (2012)

Keyphrases

data sets
neural network
artificial intelligence
database systems
expert systems
database
real time
key distribution
communication protocols
multi threaded
network protocols
voting protocols