185 search results - page 18 / 37 » Mobile Ambients |
92
Voted
LISP
2008
14 years 9 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
108
Voted
SGAI
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents an agent-based approach into a more general service oriented architecture for addressing the requirements of accessibility content and services in an ambient i...
AINA
2005
IEEE
15 years 3 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
110
click to vote
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
FOSAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...