1128 search results - page 177 / 226 » Little Engines of Proof |
135
Voted
RE
2010
Springer
14 years 7 months ago
2010
Springer
Trace links between requirements and code are essential for many software development and maintenance activities. Despite significant advances in traceability research, creating li...
119
Voted
EUROSYS
2011
ACM
14 years 4 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
134
Voted
WSDM
2012
ACM
13 years 8 months ago
2012
ACM
We present a new approach for personalizing Web search results to a specific user. Ranking functions for Web search engines are typically trained by machine learning algorithms u...
254
Voted
ICDE
2009
IEEE
17 years 9 days ago
2009
IEEE
Context is any information used to characterize the situation of an entity. Examples of contexts includetime, location, identity, and activity of a user. This paper proposes a gene...
166
Voted
PEPM
2007
ACM
16 years 10 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...