Analysing the Woo-Lam Protocol Using CSP and Rank Functions.

Siraj A. Shaikh Vicky J. Bush

Published in: J. Res. Pract. Inf. Technol. (2006)

Keyphrases

constraint satisfaction problems
constraint satisfaction
neural network
basis functions
constraint propagation
web services
end to end
constraint programming
formal analysis
decomposition method
communication protocol
decomposition methods