11573 search results - page 2206 / 2315 » Designing Relational Databases |
120
Voted
MOBIHOC
2005
ACM
16 years 2 months ago
2005
ACM
Analyzing TCP operation over 802.11 multihop ad hoc networks involves a cross-layer study. In this work, we investigate the effect of congestion and MAC contention on the interact...
165
click to vote
WSDM
2010
ACM
16 years 17 days ago
2010
ACM
This paper focuses on the problem of identifying influential users of micro-blogging services. Twitter, one of the most notable micro-blogging services, employs a social-networkin...
126
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
135
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
101
click to vote
SODA
2010
ACM
16 years 17 days ago
2010
ACM
We consider the following "efficiently decodable" nonadaptive group testing problem. There is an unknown string x {0, 1}n with at most d ones in it. We are allowed to t...