963 search results - page 17 / 193 » Types for Mobile Ambients |
SACMAT
2004
ACM
14 years 2 months ago
2004
ACM
In the era of Ubiquitous Computing and world–wide data transfer mobility, as an innovative aspect of professional activities, imposes new and complex problems of mobile and dist...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
SCCC
2007
IEEE
14 years 2 months ago
2007
IEEE
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
FOSSACS
2001
Springer
14 years 1 months ago
2001
Springer