1521 search results - page 158 / 305 » Role analysis |
ESOP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
EUROCRYPT
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper describes new techniques for fast correlation attacks, based on Gallager iterative decoding algorithm using parity-check equations of weight greater than 3. Th...
BIBE
2009
IEEE
14 years 1 months ago
2009
IEEE
—The Possibilistic Latent Variable (PLV) clustering algorithm is a powerful tool for the analysis of complex datasets due to its robustness toward data distributions of different...
AIPS
2008
14 years 16 days ago
2008
Planning problems are often formulated as heuristic search. The choice of the heuristic function plays a significant role in the performance of planning systems, but a good heuris...
WSC
2007
14 years 16 days ago
2007
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...