233 search results - page 5 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
ISCIS
2004
Springer
15 years 2 months ago
2004
Springer
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
POPL
2000
ACM
15 years 1 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
TMM
2011
14 years 4 months ago
2011
Abstract—Supporting video transmission over error-prone mobile ad-hoc networks is becoming increasingly important as these networks become more widely deployed. We propose a rout...
PCM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Video plus depth based 3D video gradually goes mobile. Taking into account the time-varying characteristics of wireless communication, this paper proposes a multi-pass va...
IEEEARES
2008
IEEE
15 years 3 months ago
2008
IEEE
The Security-by-Contract (S×C) framework has been recently proposed to address the trust relationship problem of the current security model adopted for mobile devices. The key id...