233 search results - page 23 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
CN
2000
14 years 11 months ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
108
click to vote
PPDP
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
EWSN
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a novel routing mechanism for a network of highly mobile sensor nodes that routes data over dynamically changing topologies, using only information from neares...
113
click to vote
MA
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, we present a mechanism to capture and reestablish the state of Java threads. We achieve this by extracting a thread's execution state from the application code ...
106
click to vote
CALCO
2005
Springer
15 years 5 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...