233 search results - page 10 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
ACSAC
2000
IEEE
13 years 11 months ago
2000
IEEE
Mobile Code (MC) technologies provide appealing solutionsfor the development of Internet applications.For instance, Java technologyfacilitates dynamic loading of application code ...
ICAC
2005
IEEE
14 years 1 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
—In this paper, we address the key problem in real-time video coding, the rate-distortion (R-D) tradeoff. As most video coding applications employ color images, we analyze the R-...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
MAS
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...