Sciweavers

4205 search results - page 131 / 841
» Typed Mobile Objects
Sort
View
TLCA
2009
Springer
15 years 10 months ago
Session-Based Communication Optimisation for Higher-Order Mobile Processes
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
Dimitris Mostrous, Nobuko Yoshida
AUIC
2006
IEEE
15 years 10 months ago
Generating mobile device user interfaces for diagram-based modelling tools
Mobile display devices such as phones and PDAs have become very widely available and used. However, most content on these devices is limited to text, static images and motion vide...
Dejin Zhao, John C. Grundy, John G. Hosking
138
Voted
ICRA
2003
IEEE
149views Robotics» more  ICRA 2003»
15 years 9 months ago
Curvature Based Point Stabilization for Compliant Framed Wheeled Modular Mobile Robots
- Posture stabilization of a compliant framed modular mobile robot is the subject of this paper. This is a new type of wheeled mobile robot that has advantages of a simple modular ...
Brian W. Albiston, Mark A. Minor
LCN
2003
IEEE
15 years 9 months ago
A New Scheme for IP-based Internet-Mobility
In this contribution we present a new type of mobility management for IP-based networks that, contrary to conventional approaches, does not focus on the network layer, but on the ...
Thomas Dreibholz, Andreas Jungmaier, Michael T&uum...
NOMS
2000
IEEE
15 years 8 months ago
Failure semantics of mobile agent systems involved in network fault management
Recently mobile agent technology has been recognised as a potential tool for realising distributed network fault management. The autonomy and mobility of such agents can help ensu...
Otto Wittner, Bjarne E. Helvik, C. J. E. Holper