4166 search results - page 167 / 834 » Automating the constraining process |
167
click to vote
ICSOC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
131
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
124
click to vote
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
113
click to vote
KDD
2000
ACM
15 years 6 months ago
2000
ACM
Having access to large data sets for the purpose of predictive data mining does not guarantee good models, even when the size of the training data is virtually unlimited. Instead,...
130
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
This paper proposes a system for personalization of web portals. A speci c implementation is discussed in reference to a web portal containing a news feed service. Techniques are ...