1818 search results - page 225 / 364 » How users use access control |
138
Voted
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
162
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—In this paper, we investigate how packet delays and losses affect the quality of target tracking. Specifically, we use Bayesian information of the posterior distribution of tar...
147
click to vote
GPC
2009
Springer
15 years 2 months ago
2009
Springer
SAGA is a high-level programming interface which provides the ability to develop distributed applications in an infrastructure independent way. In an earlier paper, we discussed ho...
147
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
129
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...