36 search results - page 7 / 8 » Seeds of Evidence: Integrating Evidence-Based Software Engin... |
AUIC
2000
IEEE
13 years 11 months ago
2000
IEEE
The potential of the Web, via both the Internet and intranets, to facilitate development of clinical information systems has been evident for some time. Most Web-based clinical wo...
EUROCRYPT
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper studies the gaps that exist between cryptography as studied in theory, as defined in standards, as implemented by software engineers, and as actually consumed ...
ICFEM
2005
Springer
14 years 25 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
WWW
2005
ACM
14 years 27 days ago
2005
ACM
Integrating web sites to provide more efficient services is a very promising way in the Internet. For example searching house for rent based on train system or preparing a holiday...