8828 search results - page 1492 / 1766 » Formal methods in practice |
185
click to vote
DNA
2004
Springer
16 years 4 days ago
2004
Springer
Practically all of life’s molecular processes, from chemical synthesis to replication, involve enzymes that carry out their functions through the catalysis of metastable fuels in...
173
click to vote
ECOOP
2004
Springer
16 years 4 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
179
click to vote
EUROCRYPT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
174
click to vote
EUROSPI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...
164
click to vote
FPL
2004
Springer
16 years 3 days ago
2004
Springer
The proteins in living organisms perform almost every significant function that governs life. A protein's functionality depends upon its physical structure, which depends on i...