963 search results - page 44 / 193 » Types for Mobile Ambients |
HPCA
2011
IEEE
13 years 13 days ago
2011
IEEE
Dynamic languages such as Javascript are the de-facto standard for web applications. However, generating efficient code for dynamically-typed languages is a challenge, because it...
W2GIS
2005
Springer
14 years 2 months ago
2005
Springer
Traditional GIS tools are well suited for desktop workstations, but need to be adapted in order to satisfy the requirements of mobility. We propose a concept for sketch-based spati...
MMS
2007
13 years 10 months ago
2007
: Mobile viral marketing has a tremendous potential for communication and distribution purposes. Although seen as an important issue from the viewpoint of practitioners there has b...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
ECOOP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...