7262 search results - page 273 / 1453 » Reversible Computer Hardware |
103
click to vote
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
126
click to vote
ICMCS
1999
IEEE
15 years 7 months ago
1999
IEEE
Distributed multimedia documents systems, distributed video servers are examples of multimedia presentations involving collaboration among multiple information sources. In such ap...
122
click to vote
IWPC
1997
IEEE
15 years 7 months ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
100
click to vote
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
139
click to vote
C3S2E
2009
ACM
15 years 7 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...