37 search results - page 4 / 8 » Flow Policy Awareness for Distributed Mobile Code |
CSL
2005
Springer
14 years 2 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
AINA
2009
IEEE
14 years 1 months ago
2009
IEEE
—The paper first discusses motivations why taking into account location information in authentication and access control is important. The paper then surveys current approaches t...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Error resilient encoding in video communication is becoming increasingly important due to data transmission over unreliable channels. In this paper, we propose a new power-aware e...
FCCM
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents a novel reconfigurable data flow processing architecture that promises high performance by explicitly targeting both fine- and course-grained parallelism. This...
SOSP
2003
ACM
14 years 5 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...