416 search results - page 56 / 84 » Some new approaches for preventing software tampering |
102
click to vote
CGO
2007
IEEE
15 years 7 months ago
2007
IEEE
Program-specific or function-specific optimization phase sequences are universally accepted to achieve better overall performance than any fixed optimization phase ordering. A ...
134
click to vote
FSTTCS
1999
Springer
15 years 5 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
118
click to vote
TAMODIA
2007
15 years 2 months ago
2007
Abstract. Covering quality aspects such as usability through the software development life cycle is challenging. These “-ilities” are generally difficult to grasp and usually ...
143
click to vote
ISSTA
1998
ACM
15 years 5 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
112
click to vote
ENASE
2009
14 years 11 months ago
2009
In traditional Software Engineering approaches, an application is described as a composite entity containing all its components. This approach is no longer relevant in modern Softw...