Sign in

Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications.

Marco AutiliPaola InverardiFilippo MignosiRomina SpalazzeseMassimo Tivoli
Published in: LATA (2015)
Keyphrases
  • application layer
  • end to end
  • network layer
  • video streaming
  • transport layer
  • cross layer
  • physical layer
  • program synthesis
  • bandwidth allocation
  • multiscale
  • neural network
  • overlay network
  • image data
  • ddos attacks