416 search results - page 56 / 84 » Some new approaches for preventing software tampering |
93
Voted
CGO
2007
IEEE
15 years 6 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 ...
119
Voted
FSTTCS
1999
Springer
15 years 3 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...
102
Voted
TAMODIA
2007
15 years 25 days 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 ...
127
Voted
ISSTA
1998
ACM
15 years 3 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...
98
Voted
ENASE
2009
14 years 9 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...