1128 search results - page 177 / 226 » Little Engines of Proof |
208
click to vote
RE
2010
Springer
15 years 27 days 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...
184
click to vote
EUROSYS
2011
ACM
14 years 9 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...
204
click to vote
WSDM
2012
ACM
14 years 1 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...
335
click to vote
ICDE
2009
IEEE
17 years 5 months 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...
256
click to vote
PEPM
2007
ACM
17 years 4 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 ...