Login / Signup
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.
J. Santiago Jorge
Víctor M. Gulías
Laura M. Castro
Published in:
AISC/MKM/Calculemus (2008)
Keyphrases
</>
video on demand
network bandwidth
digital video
video streaming
quality of service
peer to peer
multimedia content
video conferencing
streaming media
internet services
digital libraries
video content
multimedia services