4445 search results - page 597 / 889 » Reflective Authorization Systems |
184
click to vote
USS
2008
15 years 9 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
169
click to vote
USENIX
1990
15 years 7 months ago
1990
In developing a distributed file system, there are several good reasons for implementing the client file cache manager as a user-level process. These include ease of implementatio...
286
click to vote
Publication
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...
219
click to vote
Publication
![Optimal Approximations by Piecewise Smooth Functions and Associated Variational Problems - [ Mumford-Shah ]](http://sciweavers.com/files/imagecache/thumbnail/imagecache/mumphord_shah.jpg "Optimal Approximations by Piecewise Smooth Functions and Associated Variational Problems - [ Mumford-Shah ]")
"The purpose of this paper is to introduce and study the most basic properties of three new variational problems which are suggested by applications to computer vision. In com...
197
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
We extend a recently developed method [1] for learning the semantics of image databases using text and pictures. We incorporate statistical natural language processing in order to...