5499 search results - page 891 / 1100 » Generalized Rewrite Theories |
247
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
228
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Community Question Answering (CQA) has emerged as a popular forum for users to pose questions for other users to answer. Over the last few years, CQA portals such as Naver and Yah...
177
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Despite general awareness of the importance of keeping one's system secure, and widespread availability of consumer security technologies, actual investment in security remai...
238
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we describe several findings from a multi-year, multi-method study of how information and communication technologies have been adopted and adapted in Central Asia. ...
181
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper is concerned with rank aggregation, the task of combining the ranking results of individual rankers at meta-search. Previously, rank aggregation was performed mainly by...