Sciweavers

116
Voted
DAC
1991
ACM
15 years 8 months ago
A Transitive Closure Based Algorithm for Test Generation
Srimat T. Chakradhar, Vishwani D. Agrawal
CTCS
1991
Springer
15 years 8 months ago
Stone Duality for Stable Functions
Thomas Ehrhard, Pasquale Malacaria
CSL
1991
Springer
15 years 8 months ago
Logical Semantics of Modularisation
Gerard R. Renardel de Lavalette
CHI
1994
ACM
15 years 8 months ago
Toolglass and magic lenses: the see-through interface
ToolglassTM widgets are new user interface tools that can appear, as though on a transparent sheet of glass, between an application and a traditional cursor. They can be positione...
Eric A. Bier, Maureen C. Stone, Kenneth A. Pier, K...
CRYPTO
1991
Springer
105views Cryptology» more  CRYPTO 1991»
15 years 8 months ago
Universal Hashing and Authentication Codes
In this paper, we study the application of universal hashingto the construction of unconditionally secure authentication codes without secrecy. This idea is most useful when the nu...
Douglas R. Stinson