4340 search results - page 453 / 868 » Formal Methods and Cryptography |
182
click to vote
DAM
2008
15 years 6 months ago
2008
We describe the most efficient solutions to the word problem of Artin's braid group known so far, i.e., in other words, the most efficient solutions to the braid isotopy probl...
199
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
RFID security is currently one of the major challenges cryptography has to face, often solved by protocols assuming that an on-tag hash function is available. In this article we pr...
197
click to vote
SAS
2005
Springer
16 years 8 days ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
188
click to vote
CDVE
2007
Springer
16 years 29 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
199
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The search for enriched features has become widely used to characterize a set of genes or proteins. A key aspect of this technique is its ability to identify correlati...