Sign in
Automated synthesis of application-layer connectors from automata-based specifications.
Marco Autili
Paola Inverardi
Romina Spalazzese
Massimo Tivoli
Filippo Mignosi
Published in:
J. Comput. Syst. Sci. (2019)
Keyphrases
</>
application layer
end to end
network layer
video streaming
physical layer
cross layer
transport layer
bandwidth allocation
ddos attacks
program synthesis
multimedia services
neural network
low complexity
optical flow
multiresolution
multiscale
feature extraction