205 search results - page 19 / 41 » Types for ambient and process mobility |
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
In this work, a new type of collaborative learning activity is proposed in order to enable students to explore and understand information in highly mobile situations. We call this ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
A Rapid evolution of mobile technologies has led to the development of more sophisticated mobile devices with better storage, processing and transmission power. These factors enab...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
COORDINATION
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...