15777 search results - page 2891 / 3156 » Software Engineering |
143
click to vote
ISSRE
2006
IEEE
15 years 10 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...
115
click to vote
SEW
2006
IEEE
15 years 10 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...
122
click to vote
ASPLOS
2006
ACM
15 years 10 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 ...
133
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
Rendezvous is a conference call solution that leverages Voice over IP, enterprise calendaring, instant messaging, and rich client functionality to enhance the user experience and ...
100
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
How can design teams employ new tools and develop response methodologies yet still stay within design budgets? How much effort does it require to be an early adopter and what kind...