1690 search results - page 93 / 338 » Algorithmic Properties of Millstream Systems |
144
click to vote
JCS
2008
15 years 4 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. ...
134
Voted
ISAAC
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces quantum “multiple-Merlin”-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical ...
146
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Recommender systems have emerged in the past several years as an effective way to help people cope with the problem of information overload. One application in which they have bec...
152
Voted
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
127
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Determinant Quantum Monte Carlo (DQMC) simulation has been widely used to reveal macroscopic properties of strong correlated materials. However, parallelization of the DQ...