233 search results - page 5 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
ISCIS
2004
Springer
14 years 22 days 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
13 years 11 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
13 years 2 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
13 years 5 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
14 years 1 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...