Comparing the QoS of Internet audio mechanisms via formal methods

We compute and compare the quality of service (QoS) of three soft real-time applications for audio transmissions over the Internet. The main metric we want to capture is the average packet audio pl...