Search results
-
Why Can't I Find My Files? New Methods for Automating Attribute Assignment
Existing systems rely on user input and content analysis, but they have enjoyed minimal success. This paper ... http://www.usenix.org/events/hotos03/tech/full_papers/soules/soules.pdf http://www.usenix.org/events/hotos03/tech/full_papers/soules/soules_html/index.html ...admin - December 31, 2021 - 7:30 pm
-
Secure Data Replication over Untrusted Hosts
of this, security mechanisms to protect data integrity are necessary. In this paper we present ... http://www.usenix.org/events/hotos03/tech/full_papers/popescu/popescu.pdf http://www.usenix.org/events/hotos03/tech/full_papers/popescu/popescu_html/index.html ...admin - December 31, 2021 - 7:30 pm
-
Palimpsest: Soft-Capacity Storage for Planetary-Scale Services
http://www.usenix.org/events/hotos03/tech/full_papers/roscoe/roscoe.pdf http://www.usenix.org/events/hotos03/tech/full_papers/roscoe/roscoe_html/index.html ...admin - December 31, 2021 - 7:30 pm
-
Certifying Program Execution with Secure Processors
http://www.usenix.org/events/hotos03/tech/full_papers/chenb/chenb.pdf http://www.usenix.org/events/hotos03/tech/full_papers ...admin - December 31, 2021 - 7:30 pm
-
Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection
http://www.usenix.org/events/hotos03/tech/full_papers/witchel/witchel.pdf http://www.usenix.org/events/hotos03/tech/full_papers ...admin - December 31, 2021 - 7:30 pm
-
Flexible OS Support and Applications for Trusted Computing
rights management has caused its significant other applications to be largely overlooked. In this paper ... http://www.usenix.org/events/hotos03/tech/full_papers/garfinkel/garfinkel.pdf ...admin - December 31, 2021 - 8:30 pm
-
Sensing User Intention and Context for Energy Management
http://www.usenix.org/events/hotos03/tech/full_papers/dalton/dalton.pdf http://www.usenix.org/events/hotos03/tech/full_papers ...admin - December 31, 2021 - 8:30 pm
-
Access Control to Information in Pervasive Computing Environments
http://www.usenix.org/events/hotos03/tech/full_papers/hengartner/hengartner.pdf http://www.usenix.org/events/hotos03/tech/full_papers ...admin - December 31, 2021 - 8:30 pm
-
* Privacy-Aware Location Sensor Networks
and offer little protection from malicious service providers. This paper addresses privacy through ... http://www.usenix.org/events/hotos03/tech/full_papers/gruteser/gruteser.pdf http://www.usenix.org/events/hotos03/tech/full_papers/gruteser/gruteser_html/index.html ...admin - December 31, 2021 - 8:30 pm
-
* FAB: Enterprise Storage Systems on a Shoestring
decentralized manner to provide users with a set of logical volumes. This paper motivates FAB and introduces our ... http://www.usenix.org/events/hotos03/tech/full_papers/frolund/frolund.pdf ...admin - December 31, 2021 - 8:30 pm
-
* The Case for a Session State Storage Layer
This paper motivates the need for a session state storage layer. Session state is used in a large ... http://www.usenix.org/events/hotos03/tech/full_papers/ling/ling.pdf http://www.usenix.org/events/hotos03/tech/full_papers/ling/ling_html/index.html ...admin - December 31, 2021 - 8:30 pm
-
* Towards a Semantic-Aware File Store
semantics of today's storage systems. In this paper, we discuss the principles of semantic-aware file ... http://www.usenix.org/events/hotos03/tech/full_papers/xu/xu.pdf http://www.usenix.org/events/hotos03/tech/full_papers ...admin - December 31, 2021 - 8:30 pm
-
FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment
http://www.usenix.org/events/osdi02/tech/full_papers/adya/adya.pdf http://www.usenix.org/events/osdi02/tech/full_papers/adya/adya_html/index.html ...admin - January 1, 2022 - 4:30 am
-
Taming Aggressive Replication in the Pangaea Wide-Area File System
whenever and wherever it is accessed. This paper presents the design, implementation, and evaluation of the ... month = dec} Download http://www.usenix.org/events/osdi02/tech/full_papers ... /saito/saito.pdf http://www.usenix.org/events/osdi02/tech/full_papers/saito/saito_html/index.html ...admin - January 1, 2022 - 4:30 am
-
Ivy: A Read/Write Peer-to-Peer File System
http://www.usenix.org/events/osdi02/tech/full_papers/muthitacharoen/muthitacharoen.pdf http://www.usenix.org/events/osdi02/tech/full_papers/muthitacharoen/muthitacharoen_html/index.html ...admin - January 1, 2022 - 4:30 am
-
Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software
This paper describes a toolkit to help improve the robustness of code against DoS attacks. We ... Instead of reacting to attacks after the fact, this paper argues that a better solution is to make ... detected. This paper presents the design and implementation of the toolkit, as well as evaluation of its ...admin - January 1, 2022 - 5:30 am
-
Using Model Checking to Debug Device Firmware
search. Consequently, the models have to be small to allow effective model checking. This paper describes ... conservatively. Therefore, every bug in the original program will be present in the extracted model. This paper ... http://www.usenix.org/events/osdi02/tech/full_papers/kumar/kumar.pdf http://www.usenix.org/events/osdi02/tech/full_papers/kumar/kumar_html/index.html ...admin - January 1, 2022 - 5:30 am
-
CMC: A Pragmatic Approach to Model Checking Real Code
to miss errors. The paper's first contribution is a new model checker, CMC, which checks C and ... immediately without updating a high-level description. The paper's second contribution is demonstrating ... http://www.usenix.org/events/osdi02/tech/full_papers/musuvathi/musuvathi.pdf http://www.usenix.org/events/osdi02/tech/full_papers/musuvathi/musuvathi_html/index.html ...admin - January 1, 2022 - 5:30 am
-
Practical, Transparent Operating System Support for Superpages
http://www.usenix.org/events/osdi02/tech/full_papers/navarro/navarro.pdf http://www.usenix.org/events/osdi02/tech/full_papers/navarro/navarro_html/index.html ...admin - January 1, 2022 - 5:30 am
-
Vertigo: Automatic Performance-Setting for Linux
beneficial if it is done transparently, without causing the software to miss its deadlines. In this paper, we ... http://www.usenix.org/events/osdi02/tech/full_papers/flautner/flautner.pdf ...admin - January 1, 2022 - 5:30 am
-
Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications
In this paper we demonstrate the benefits of application involvement in operating system power ... http://www.usenix.org/events/osdi02/tech/full_papers/weissel/weissel.pdf http://www.usenix.org/events/osdi02/tech/full_papers/weissel/weissel_html/index.html ...admin - January 1, 2022 - 5:30 am
-
TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks
http://www.usenix.org/events/osdi02/tech/full_papers/madden/madden.pdf http://www.usenix.org/events/osdi02/tech/full_papers/madden/madden_html/index.html ...admin - January 1, 2022 - 5:30 am
-
Fine-Grained Network Time Synchronization Using Reference Broadcasts
this paper, we use measurements from two wireless implementations to show that removing the ... http://www.usenix.org/events/osdi02/tech/full_papers/elson/elson.pdf ...admin - January 1, 2022 - 5:30 am
-
Supporting Time-Sensitive Applications on a Commodity OS
this paper, we explore various operating systems techniques needed to support time-sensitive ... http://www.usenix.org/events/osdi02/tech/full_papers/goel/goel.pdf http://www.usenix.org/events/osdi02/tech/full_papers/goel/goel_html/index.html ...admin - January 1, 2022 - 5:30 am
-
Scale and Performance in the Denali Isolation Kernel
This paper describes the Denali isolation kernel, an operating system architecture that safely ... architecture to gain scale, performance, and simplicity of implementation. In this paper, we first discuss ... http://www.usenix.org/events/osdi02/tech/full_papers/whitaker/whitaker.pdf http://www.usenix.org/events/osdi02/tech/full_papers/whitaker/whitaker_html/index.html ...admin - January 1, 2022 - 6:30 am