15783 search results - page 3123 / 3157 » Evidence-Based Software Engineering |
ITICSE
2003
ACM
14 years 24 days ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
NSPW
2003
ACM
14 years 24 days ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
PLDI
2003
ACM
14 years 24 days ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
PLDI
2003
ACM
14 years 24 days ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
SAC
2003
ACM
14 years 24 days ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...