11182 search results - page 1956 / 2237 » Shape Analysis of Sets |
174
click to vote
ACNS
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Attackers in particular botnet controllers use stealthy messaging systems to set up large-scale command and control. Understanding the capacity of such communication chan...
163
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
229
click to vote
CICLING
2011
Springer
14 years 8 months ago
2011
Springer
Wikipedia is an online encyclopedia which anyone can edit. While most edits are constructive, about 7% are acts of vandalism. Such behavior is characterized by modifications made ...
164
click to vote
CSCW
2011
ACM
14 years 8 months ago
2011
ACM
There is a growth in the popularity of social file sharing systems. This paper describes the design of Cattail, a social file sharing system for the enterprise. Through a ‘Recen...
170
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—In this paper, we address a new unexplored problem - what are the optimal patterns to achieve connected coverage in wireless networks with directional antennas. As their name im...