7527 search results - page 92 / 1506 » Design and implementation of the KioskNet system |
167
click to vote
NSDI
2008
15 years 8 months ago
2008
Hidden malicious circuits provide an attacker with a stealthy attack vector. As they occupy a layer below the entire software stack, malicious circuits can bypass traditional defe...
173
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Energy consumption is a major and costly problem in data centers. A large fraction of this energy goes to powering idle machines that are not doing any useful work. We identify tw...
157
click to vote
NSDI
2007
15 years 8 months ago
2007
WiFi-based Long Distance (WiLD) networks with links as long as 50–100 km have the potential to provide connectivity at substantially lower costs than traditional approaches. How...
163
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
185
click to vote
PCRCW
1997
Springer
15 years 10 months ago
1997
Springer
In recent years, theChaos Project at theUniversityofWashingtonhas analyzed and simulated a dozen routing algorithms. Three new routing algorithms have been invented; of these, the...