1489 search results - page 105 / 298 » The First Bug Report |
135
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
We consider the problem of "progressively" joining relations whose records are continuously retrieved from remote sources through an unstable network that may incur temp...
116
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
132
click to vote
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper, we make two major contributions: First, to enhance Boolean learning, we propose a new class of logic implications called extended forward implications. Using a nove...
115
click to vote
ASUNAM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Preventing adversaries from compiling significant amounts of user data is a major challenge for social network operators. We examine the difficulty of collecting profile and ...
113
Voted
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
By examining searcher behavior on a large search engine, we have identified seven basic kinds of task behaviors that can be observed in web search session logs. In the studies rep...