15860 search results - page 2920 / 3172 » Agent-Based Software Engineering |
107
Voted
SEW
2006
IEEE
15 years 9 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...
114
Voted
VL
2006
IEEE
15 years 9 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...
140
Voted
ACMSE
2006
ACM
15 years 9 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...
112
Voted
ASPLOS
2006
ACM
15 years 9 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 ...
127
Voted
CSCW
2006
ACM
15 years 9 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 ...