Page
%P
-
Article
Toward a formal specification of multimedia synchronization scenarios
This paper introduces time stream Pétri nets (Ts treamPn), a model for the formal specification of multimedia synchronization scenarios. This new model extends time Pétri nets to formally describe the timed behav...
-
Article
Towards a new generation of transport services adapted to multimedia applications
A partial order and partial reliable connection (POC) is an end-to-end transport connection authorized to deliver objects in an order that can differ from the transmitted one. The service provided by such a co...