13489 search results - page 736 / 2698 » Operating System |
196
Voted
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
214
Voted
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
Internet coordinate-based systems are poised to become an important service to support overlay construction and topology-aware applications. Indeed, through network distance embed...
162
click to vote
COMPSAC
2002
IEEE
16 years 8 days ago
2002
IEEE
In this paper, we propose and evaluate a new NAS based system which is a consolidated file system in a network environment. The consolidated file system utilizes storage boxes c...
191
click to vote
TCOM
2010
15 years 5 months ago
2010
Abstract—In packet communication systems, a header is attached to the transmitted packet at each layer. The overhead due to the transmission of the individual header can have a s...
186
Voted
PDP
2007
IEEE
16 years 1 months ago
2007
IEEE
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...