1833 search results - page 175 / 367 » Mechanized Verification with Sharing |
220
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Spectrum sharing is an emerging mechanism to resolve the conflict between the spectrum scarcity and the growing demands for the wireless broadband access. In this paper we inve...
159
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Presence-sharing is an emerging platform for mobile applications, but presence-privacy remains a challenge. Privacy controls must be flexible enough to allow sharing between both ...
196
click to vote
SASO
2007
IEEE
16 years 23 days ago
2007
IEEE
Incentives for resource sharing are crucial for the proper operation of P2P networks. The principle of the incentive mechanisms in current content sharing P2P networks such as Bit...
174
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
This paper investigates what it entails to provide I/O service differentiation and performance isolation for virtual machines on individual multicore nodes in cloud platforms. Sh...
169
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Due to lack of the infrastructure, open peer-to-peer architecture, shared wireless medium, limited resource constraints and highly dynamic topology, MANETs (Mobile Adhoc Networks) ...