6527 search results - page 999 / 1306 » On Typing Information Flow |
172
Voted
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
182
Voted
SIGSOFT
2001
ACM
16 years 8 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
204
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
In this paper we give models and algorithms to describe and analyze the collaboration among authors of Wikipedia from a network analytical perspective. The edit network encodes wh...
197
Voted
WWW
2009
ACM
16 years 8 months ago
2009
ACM
We examine the behavioral patterns of email usage in a large-scale enterprise over a three-month period. In particular, we focus on two main questions: (Q1) what do replies depend...
184
Voted
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Combating Web spam has become one of the top challenges for Web search engines. State-of-the-art spam detection techniques are usually designed for specific known types of Web spa...