3605 search results - page 79 / 721 » Associated types with class |
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
Current change history analysis approaches rely on information provided by versioning systems such as CVS. Therefore, changes are not related to particular source code entities su...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
APWEB
2004
Springer
14 years 2 months ago
2004
Springer
In a state-of-the-art XML database, an XML query is evaluated as a sequence of structural joins in which positions of data nodes are used to perform each individual structural joi...
ANNPR
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents a framework for multiclass vehicle type (Make and Model) identification based on oriented contour points. A method to construct a model from several frontal ve...