3547 search results - page 567 / 710 » Pseudo-Exhaustive Testing for Software |
173
click to vote
EDBTW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Web has been rapidly “deepened” with the prevalence of databases online. On this “deep Web,” numerous sources are structured, providing schema-rich data– Th...
202
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
157
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
161
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
174
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...