9359 search results - page 1630 / 1872 » Generalization Algorithms for Second-Order Terms |
201
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
165
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
145
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
152
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
People use weblogs to express thoughts, present ideas and share knowledge. However, weblogs can also be misused to influence and manipulate the readers. Therefore the credibility ...
175
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We consider the problem of identifying the consensus ranking for the results of a query, given preferences among those results from a set of individual users. Once consensus ranki...