3815 search results - page 212 / 763 » An Implementation of Session Types |
CSFW
2011
IEEE
12 years 8 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
FLOPS
2010
Springer
14 years 3 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
EUSAI
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
HLK
2003
IEEE
14 years 1 months ago
2003
IEEE
Based on high-level geometric knowledge, especially symmetry, imposed upon objects in images, we demonstrate in this paper how to edit images in terms of correct 3-D shape and rel...
DIAGRAMS
2006
Springer
14 years 18 hour ago
2006
Springer
This paper discusses the types of communicative signals that frequently appear in simple bar charts and how we exploit them as evidence in our system for inferring the intended mes...