3547 search results - page 554 / 710 » Pseudo-Exhaustive Testing for Software |
164
click to vote
MAGS
2007
15 years 6 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
144
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Fairly rapid environmental changes call for continuous surveillance and on-line decision making. There are two main areas where IT technologies can be valuable. In this paper we pr...
159
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
152
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Many emerging semantic web applications include ontologies from one set of authors and instance data from another (often much larger) set of authors. Often ontologies are reused a...
178
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...