Interactive Distributed Multimedia Systems and Telecommunication Services
6th International Workshop, IDMS’99 Toulouse, France, October 12–15, 1999 Proceedings
Chapter and Conference Paper
This paper introduces a model for specifying synchronization constraints in distributed asynchronous multimedia systems and applications. The consistency and semantics of multimedia systems depend on the tempo...
Article
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...
Book and Conference Proceedings
6th International Workshop, IDMS’99 Toulouse, France, October 12–15, 1999 Proceedings
Article
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...
Chapter and Conference Paper
Considering that current end to end communication services are not adapted for supporting efficiently distributed multimedia application, this paper introduces a new family of generic transport protocols direc...
Article
The expected benefits of modeling documents using a formal technique are twofold. First, the document's model can be checked against logical errors and unsatisfied timing constraints. Second, the same model ca...
Chapter and Conference Paper
In this paper, the needs for specialized end-to-end communication services oriented to satisfy the QoS requirements of current and future multimedia applications are raised. Face to the complexity involved in ...
Chapter and Conference Paper
This paper presents architectural solutions and results from an ESA (European Space Agency) study intending to mitigate the limitations of the current TCP/IP protocol stack in a satellite environment. Focus is...
Chapter and Conference Paper
Structured peer-to-peer (P2P) overlay are scalable, robust and self-organizing in nature, and provide a promising platform for a range of large-scale distributed applications. Applications proposed to date uti...
Chapter and Conference Paper
In this paper we introduce Spatio-TEmporal Parametric Step** (STEPS) - a simple parametric mobility model which can cover a large spectrum of human mobility patterns. STEPS makes abstraction of spatio-tempor...
Book and Conference Proceedings
7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers
Book and Conference Proceedings
First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers
Article
The evolution of the Internet has been mainly promoted in recent years by the emergence and proliferation of wireless access networks towards a global ambient and pervasive network accessed from mobile devices...