233 search results - page 1 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
NGC
2008
Springer
13 years 4 months ago
2008
Springer
ion-Carrying Code: a Model for Mobile Code Safety Elvira Albert Germ
LPAR
2004
Springer
13 years 9 months ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...
APLAS
2006
ACM
13 years 8 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
SAFECOMP
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
INFORMATICALT
2000
13 years 4 months ago
2000
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...