Sciweavers

26071 search results - page 138 / 5215
» Making the
Sort
View
FP
1991
95views Formal Methods» more  FP 1991»
14 years 18 days ago
Making Functionality More General
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
Graham Hutton, Ed Voermans
OOPSLA
1991
Springer
14 years 18 days ago
Making Pure Object-Oriented Languages Practical
Craig Chambers, David Ungar
ITC
1994
IEEE
82views Hardware» more  ITC 1994»
14 years 18 days ago
Making the Circular Self-Test Path Technique Effective for Real Circuits
Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
CTRSA
2010
Springer
191views Cryptology» more  CTRSA 2010»
14 years 12 days ago
Making the Diffie-Hellman Protocol Identity-Based
This paper presents a new identity based key agreement protocol. In id-based cryptography (introduced by Adi Shamir in [33]) each party uses its own identity as public key and rece...
Dario Fiore, Rosario Gennaro