13489 search results - page 580 / 2698 » Operating System |
182
click to vote
ISDA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, an OntoCrawler based on the ontology-supported technique for webpage searching was proposed, in which only user entered some keywords would the system supported by ...
201
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
213
click to vote
IWIA
2005
IEEE
16 years 19 days ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
265
click to vote
SIGOPSE
2004
ACM
16 years 14 days ago
2004
ACM
Anonymity is increasingly important for networked applications amidst concerns over censorship and privacy. This paper outlines the design of HerbivoreFS, a scalable and efficien...
148
click to vote
SIGOPSE
2004
ACM
16 years 14 days ago
2004
ACM
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...