1833 search results - page 354 / 367 » Mechanized Verification with Sharing |
HUC
2010
Springer
13 years 11 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 ...
MM
2010
ACM
13 years 10 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 ...
CCGRID
2010
IEEE
13 years 10 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...
SIGCOMM
2010
ACM
13 years 10 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...
GLOBECOM
2007
IEEE
13 years 10 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...