Sciweavers

1128 search results - page 176 / 226
» Little Engines of Proof
Sort
View
ICSE
1997
IEEE-ACM
15 years 4 months ago
Prioritizing Software Requirements in an Industrial Setting
The planning of additional featuresand releases is a major concem for commercialsoftware companies. We describe how, in collaboration with Ericsson Radio Systems, we developed and...
Kevin Ryan, Joachim Karlsson
103
Voted
ISSTA
2010
ACM
15 years 4 months ago
Testing system virtual machines
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
Lorenzo Martignoni, Roberto Paleari, Giampaolo Fre...
SIGIR
2010
ACM
15 years 4 months ago
The good, the bad, and the random: an eye-tracking study of ad quality in web search
We investigate how people interact with Web search engine result pages using eye-tracking. While previous research has focused on the visual attention devoted to the 10 organic se...
Georg Buscher, Susan T. Dumais, Edward Cutrell
ECLIPSE
2005
ACM
15 years 2 months ago
Coping with an open bug repository
Most open source software development projects include an open bug repository—one to which users of the software can gain full access—that is used to report and track problems...
John Anvik, Lyndon Hiew, Gail C. Murphy
110
Voted
ACL
2010
14 years 10 months ago
Wikipedia as Sense Inventory to Improve Diversity in Web Search Results
Is it possible to use sense inventories to improve Web search results diversity for one word queries? To answer this question, we focus on two broad-coverage lexical resources of ...
Celina Santamaría, Julio Gonzalo, Javier Ar...