618 search results - page 103 / 124 » A Practical Program Transformation System for Reverse Engine... |
116
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
100
click to vote
UIST
2005
ACM
15 years 8 months ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...
107
click to vote
FMCAD
1998
Springer
15 years 7 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
143
click to vote
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
131
click to vote
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...