14244 search results - page 2142 / 2849 » Modeling Program Predictability |
217
click to vote
AUSAI
2004
Springer
16 years 26 days ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
189
click to vote
FSTTCS
2004
Springer
16 years 25 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
217
click to vote
PET
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
192
click to vote
SAT
2004
Springer
16 years 24 days ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
197
click to vote
IPPS
2003
IEEE
16 years 22 days ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...