1833 search results - page 311 / 367 » Mechanized Verification with Sharing |
142
click to vote
EJWCN
2010
14 years 11 months ago
2010
Multi-hop communication objectives and constraints impose a set of challenging requirements that create difficult conditions for simultaneous optimization of features such as scala...
189
click to vote
HOTNETS
2010
14 years 11 months ago
2010
Cloud computing environments impose new challenges on access control techniques due to multi-tenancy, the growing scale and dynamicity of hosts within the cloud infrastructure, an...
236
click to vote
TMC
2010
14 years 11 months ago
2010
Wireless networks have evolved into an important technology for connecting users to the Internet. As the utility of wireless technology grows, wireless networks are being deployed ...
135
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
In games where skills such as targeting are critical to winning, it is difficult for players with different skill levels to have a competitive and engaging experience. Although se...
175
click to vote
COMSUR
2011
14 years 4 months ago
2011
—The shared nature of the medium in wireless networks makes it easy for an adversary to launch a Wireless Denial of Service (WDoS) attack. Recent studies, demonstrate that such a...