233 search results - page 5 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
135
click to vote
ISCIS
2004
Springer
15 years 11 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 ...
168
click to vote
POPL
2000
ACM
15 years 10 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...
189
click to vote
TMM
2011
15 years 23 days 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...
169
click to vote
PCM
2010
Springer
15 years 4 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...
163
click to vote
IEEEARES
2008
IEEE
16 years 7 days 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...