963 search results - page 44 / 193 » Types for Mobile Ambients |
122
Voted
HPCA
2011
IEEE
14 years 7 months 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...
116
Voted
W2GIS
2005
Springer
15 years 9 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...
109
Voted
MMS
2007
15 years 5 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...
137
Voted
IFIP
2010
Springer
14 years 10 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...
129
Voted
ECOOP
2000
Springer
15 years 8 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...