27 search results - page 3 / 6 » Checking ownership and confinement |
ICDAR
2003
IEEE
13 years 11 months ago
2003
IEEE
Document security is an increasingly important element in the multi-faceted discipline of document processing, and authentication of individual identity will play an increasingly ...
SCP
2008
13 years 6 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
ECOOP
2007
Springer
14 years 6 days ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
PLDI
2003
ACM
13 years 11 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
AMC
2006
13 years 6 months ago
2006
This paper presents common stabilizers for linear control systems when actuators happen to fail. The possible outage of actuators examined in this study are not confined to a pre-s...