Mobile and Ubiquitous Systems: Computing, Networking, and Services
7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers
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...
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...
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...