4340 search results - page 262 / 868 » Formal Methods and Cryptography |
180
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
174
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
164
click to vote
TVCG
2008
15 years 6 months ago
2008
The effective visualization of vascular structures is critical for diagnosis, surgical planning as well as treatment evaluation. In recent work, we have developed an algorithm for ...
421
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. In this talk, I will review some of the work performed by the research community in cryptology and security since the invention of public key cryptography by Diffie and H...
155
click to vote
FC
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We present a useful new mechanism that facilitates the atomic exchange of many large baskets of securities in a combinatorial exchange. Cryptography prevents information ...