84 search results - page 6 / 17 » Abstract Interpretation of Mobile Ambients |
FASE
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
AGP
1999
IEEE
13 years 11 months ago
1999
IEEE
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...
AMR
2005
Springer
14 years 1 months ago
2005
Springer
As Consumer Electronics devices get interconnected, the issue of aligning their data management solutions becomes prominent. If we want to deploy comprehensive applications that ar...
FMCO
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
LPAR
2004
Springer
14 years 24 days 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 ...