1833 search results - page 61 / 367 » Mechanized Verification with Sharing |
CSREASAM
2008
15 years 2 months ago
2008
Pervasive computing allows data to be collected using sensors and mobile devices. Recent studies, however, show that in emergency and crisis situations conventional access control ...
107
click to vote
IACR
2011
14 years 10 days ago
2011
Companies, organizations, and individuals often wish to share information to realize valuable social and economic goals. Unfortunately, privacy concerns often stand in the way of ...
WETICE
2003
IEEE
15 years 6 months ago
2003
IEEE
Collaboration over the Internet depends on the ability of the members of a group to exchange data in a secure yet unobtrusive manner. WebDAVA is a system that allows users to deļ¬...
107
Voted
SYSTOR
2010
ACM
15 years 5 months ago
2010
ACM
Virtual machine monitors, especially when used for server consolidation, need to enforce a predeļ¬ned sharing of resources among the running virtual machines. We propose a new me...
100
click to vote
PE
2006
Springer
15 years 18 days ago
2006
Springer
In this paper we model and study the performance of peer-to-peer (P2P) file sharing systems in terms of their `service capacity'. We identify two regimes of interest: the tra...