1599 search results - page 116 / 320 » Probabilistic Analysis of Anonymity |
77
Voted
COLCOM
2005
IEEE
15 years 4 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
INFOCOM
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract— Traditionally, reliable multicast protocols are deterministic in nature. It is precisely this determinism that tends to become their limiting factor when aiming at reli...
FOCS
1999
IEEE
15 years 3 months ago
1999
IEEE
We present a simple probabilistic algorithm for solving kSAT, and more generally, for solving constraint satisfaction problems (CSP). The algorithm follows a simple localsearch pa...
FMCAD
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
APSEC
2007
IEEE
15 years 25 days ago
2007
IEEE
The needs of software maintenance and the importance of maintenance project management increase rapidly in the military avionics industry. Although few previous studies related to...