2687 search results - page 448 / 538 » Formal Analysis of PKCS |
177
click to vote
ICSEA
2006
IEEE
16 years 3 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
134
click to vote
IPPS
2006
IEEE
16 years 2 days ago
2006
IEEE
We study epidemic schemes in the context of collaborative data delivery. In this context, multiple chunks of data reside at different nodes, and the challenge is to simultaneousl...
134
click to vote
IPPS
2006
IEEE
16 years 2 days ago
2006
IEEE
Distributed Hash Tables (DHTs) have been used in a variety of applications, but most DHTs so far have opted to solve lookups with multiple hops, which sacrifices performance in o...
154
click to vote
SEFM
2006
IEEE
16 years 2 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
143
click to vote
DOCENG
2006
ACM
16 years 1 days ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...