15779 search results - page 2944 / 3156 » Change-oriented software engineering |
ISSRE
2006
IEEE
14 years 4 months ago
2006
IEEE
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
SEW
2006
IEEE
14 years 4 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
VL
2006
IEEE
14 years 4 months ago
2006
IEEE
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
ACMSE
2006
ACM
14 years 4 months ago
2006
ACM
Computing reliable gene expression levels from microarray experiments is a sophisticated process with many potential pitfalls. Quality control is one of the most important steps i...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...