11151 search results - page 1873 / 2231 » On the Complexity of Model Expansion |
195
click to vote
ECAL
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Proteins, under native conditions, fold to specific 3D structures according to their 1D amino acid sequence, which in turn is defined by the genetic code. The specific...
196
click to vote
EPIA
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
192
click to vote
ESAW
2007
Springer
16 years 29 days ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
169
click to vote
ESORICS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
185
click to vote
EUROCRYPT
2007
Springer
16 years 29 days ago
2007
Springer
sion of an extended abstract to be published in Advances in Cryptology—EUROCRYPT 2007, Springer-Verlag, 2007. Available online from the IACR Cryptology ePrint Archive as Report 2...