1821 search results - page 118 / 365 » Security-Aware Program Transformations |
103
click to vote
OOPSLA
2010
Springer
15 years 19 days ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
131
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
156
click to vote
PPDP
2010
Springer
15 years 19 days ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
205
click to vote
Publication
Still and multi-media images are subject to transformations for compression, steganographic embedding and digital watermarking. In a major program of activities we are engaged in t...
128
click to vote
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...