Sciweavers

2373 search results - page 267 / 475
» Towards a Model of Computer Systems Research
Sort
View
AIMS
2007
Springer
16 years 23 days ago
Harnessing Models for Policy Conflict Analysis
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
Steven Davy, Brendan Jennings
DNA
2009
Springer
145views Bioinformatics» more  DNA 2009»
16 years 1 months ago
Distributed Agreement in Tile Self-assembly
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
Aaron Sterling
ECCV
2002
Springer
16 years 8 months ago
A Markov Chain Monte Carlo Approach to Stereovision
We propose Markov chain Monte Carlo sampling methods to address uncertainty estimation in disparity computation. We consider this problem at a postprocessing stage, i.e. once the d...
Julien Sénégas
SACMAT
2006
ACM
16 years 15 days ago
The secondary and approximate authorization model and its application to Bell-LaPadula policies
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
Jason Crampton, Wing Leung, Konstantin Beznosov
ICPP
2006
IEEE
16 years 18 days ago
Performance Modeling based on Multidimensional Surface Learning for Performance Predictions of Parallel Applications in Non-Dedi
Modeling the performance behavior of parallel applications to predict the execution times of the applications for larger problem sizes and number of processors has been an active ...
Jay Yagnik, H. A. Sanjay, Sathish S. Vadhiyar