Interface synthesis and protocol conversion.

Purandar Bhaduri S. Ramesh

Published in: Formal Aspects Comput. (2008)

Keyphrases

communication protocol
user friendly
user interface
lightweight
data conversion
formal analysis
file transfer
database
digital libraries
facial expressions
graphical interface
cryptographic protocols
communication protocols
client server architecture
ip address
network protocols