814 search results - page 10 / 163 » Generic Model Abstraction from Examples |
DAC
2004
ACM
14 years 8 months 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...
ASIACRYPT
2004
Springer
14 years 14 days 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
13 years 7 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
14 years 12 days 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
14 years 17 days 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....