1833 search results - page 354 / 367 » Mechanized Verification with Sharing |
162
click to vote
HUC
2010
Springer
15 years 5 months ago
2010
Springer
Providing sustainable energy is one of the fundamental challenges for mankind. With energy usage being a part of everyday activities and with the increasingly diversity of energy ...
127
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
The increasing availability of high speed Internet access and the decreasing cost of wireless technologies has increased the number of devices in the home that wirelessly connect ...
139
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
In order to address the high performance I/O needs of HPC and enterprise applications, modern interconnection fabrics, such as InfiniBand and more recently, 10GigE, rely on network...
155
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Denial of Service (DoS) attacks frequently happen on the Internet, paralyzing Internet services and causing millions of dollars of financial loss. This work presents NetFence, a s...
196
click to vote
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—IEEE 802.11 Distributed Coordination Function (DCF) uses a binary exponential backoff algorithm to arbitrate simultaneous channel access by multiple stations. When a station sen...