Mobile and Ubiquitous Systems: Computing, Networking, and Services
7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, 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...
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
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...
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
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
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 ...
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
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
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...
Book and Conference Proceedings
6th International Workshop, IDMS’99 Toulouse, France, October 12–15, 1999 Proceedings
Chapter and Conference Paper
The paper proposes a new class of timed Petri nets for the specification of temporal constraints and description of logical behaviour in distributed hypermedia systems. In particular, hierarchical design capab...
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...
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...