6455 search results - page 1167 / 1291 » Research problems |
114
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
131
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
124
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
In sponsored search, a number of advertising slots is available on a search results page, and have to be allocated among a set of advertisers competing to display an ad on the pag...
113
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...
WWW
2009
ACM
16 years 3 months ago
2009
ACM
With the advent of Web 2.0 technologies, websites have evolved from static pages to dynamic, interactive Web-based applications with the ability to replicate common desktop functi...