814 search results - page 10 / 163 » Generic Model Abstraction from Examples |
73
Voted
DAC
2004
ACM
16 years 19 days ago
2004
ACM
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...
81
Voted
ASIACRYPT
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Diļ¬...
TOCS
2008
14 years 11 months ago
2008
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
TYPES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
MIDDLEWARE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Conventional middleware architectures suļ¬er from insuļ¬cient module-level reusability and the ability to adapt in face of functionality evolution and diversiļ¬cation....