144227 search results - page 28391 / 28846 » Using the |
204
click to vote
JCS
2008
15 years 7 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
236
click to vote
JCSS
2008
15 years 7 months ago
2008
A commonly used model for fault-tolerant computation is that of cellular automata. The essential difficulty of fault-tolerant computation is present in the special case of simply ...
252
click to vote
JCSS
2008
15 years 7 months ago
2008
We use techniques from sample-complexity in machine learning to reduce problems of incentive-compatible mechanism design to standard algorithmic questions, for a broad class of re...
196
click to vote
JCST
2008
15 years 7 months ago
2008
Abstract Clustering text data streams is an important issue in data mining community and has a number of applications such as news group filtering, text crawling, document organiza...
194
click to vote
JCST
2008
15 years 7 months ago
2008
Stride prefetching is recognized as an important technique to improve memory access performance. The prior work usually profiles and/or analyzes the program behavior offline, and u...