3073 search results - page 535 / 615 » Real World Verification |
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Defect-occurrence projection is necessary for the development of methods to mitigate the risks of software defect occurrences. In this paper, we examine user-reported software def...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
In the last decade, there has been an explosion of online commercial activity enabled by the World Wide Web. An electronic marketplace (e-market) provides an online method to perf...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Online social networking sites like MySpace, Facebook, and Flickr have become a popular way to share and disseminate content. Their massive popularity has led to viral marketing t...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Behavioral Targeting (BT) is a technique used by online advertisers to increase the effectiveness of their campaigns, and is playing an increasingly important role in the online a...