2687 search results - page 130 / 538 » Formal Analysis of PKCS |
132
click to vote
FGR
2008
IEEE
15 years 10 months ago
2008
IEEE
Many studies have now shown that it is possible to recognize people by the way they walk. As yet there has been little formal study of the effects of covariates on the recognition...
124
click to vote
P2P
2006
IEEE
15 years 10 months ago
2006
IEEE
Flat DHT architectures have been the main focus of the research on DHT design so far. However, there have been also a number of works proposing hierarchical DHT organizations and ...
184
click to vote
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
103
click to vote
WSC
2008
15 years 6 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
132
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...