6328 search results - page 1085 / 1266 » From Quantity to Quality |
174
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
199
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
147
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
The value of a brand name is an important factor that consumers often take into consideration when making their purchasing decisions. However, it is difficult for users to evaluat...
195
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Document summarization plays an increasingly important role with the exponential growth of documents on the Web. Many supervised and unsupervised approaches have been proposed to ...
151
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...