14824 search results - page 2800 / 2965 » Security - Introduction |
SIGSOFT
2003
ACM
16 years 13 hour 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 ...
107
click to vote
WWW
2009
ACM
15 years 12 months ago
2009
ACM
Social Networking is one of the major technological phenomena of the Web 2.0, with hundreds of millions of people participating. Social networks enable a form of self expression f...
130
click to vote
WWW
2008
ACM
15 years 12 months ago
2008
ACM
Email spam is a much studied topic, but even though current email spam detecting software has been gaining a competitive edge against text based email spam, new advances in spam g...
WWW
2007
ACM
15 years 12 months ago
2007
ACM
Personalized web search is a promising way to improve search quality by customizing search results for people with individual information goals. However, users are uncomfortable w...
WWW
2005
ACM
15 years 12 months ago
2005
ACM
Website privacy policies state the ways that a site will use personal identifiable information (PII) that is collected from fields and forms in web-based transactions. Since these...