1799 search results - page 324 / 360 » The Logic of Correctness in Software Engineering |
190
click to vote
APSEC
2004
IEEE
15 years 9 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
167
click to vote
CGO
2004
IEEE
15 years 9 months ago
2004
IEEE
Memory profiling is the process of characterizing a program's memory behavior by observing and recording its response to specific input sets. Relevant aspects of the program&...
166
click to vote
COMSWARE
2006
IEEE
15 years 9 months ago
2006
IEEE
Applications using traditional protocol stacks (e.g TCP/IP) from wired networks do not function efficiently in mobile wireless scenarios. This is primarily due to the layered archi...
156
click to vote
TAPSOFT
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
169
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...