15754 search results - page 3045 / 3151 » Programs are Knowledge Bases |
165
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
119
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
161
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
148
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Ad auctions in sponsored search support"broad match"that allows an advertiser to target a large number of queries while bidding only on a limited number. While giving mo...
135
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Millions of users retrieve information from the Internet using search engines. Mining these user sessions can provide valuable information about the quality of user experience and...