Sciweavers

TACS
1991
Springer
15 years 8 months ago
Intersection and Union Types
Franco Barbanera, Mariangiola Dezani-Ciancaglini
TACS
1991
Springer
15 years 8 months ago
Authentication and Delegation with Smart-cards
Martín Abadi, Michael Burrows, C. Kaufman, ...
SIGOPSE
1992
ACM
15 years 8 months ago
System support for shared objects
This position paper supports the view that a model based on shared objects is an attractive alternative to message passing for structuring distributed applications and that a distr...
Pierre-Yves Chevalier, Daniel Hagimont, Sacha Krak...
STOC
1991
ACM
93views Algorithms» more  STOC 1991»
15 years 8 months ago
Rounds in Communication Complexity Revisited
The k-round two-party communication complexity was studied in the deterministic model by [14] and [4] and in the probabilistic model by [20] and [6]. We present new lower bounds th...
Noam Nisan, Avi Wigderson
STOC
1991
ACM
85views Algorithms» more  STOC 1991»
15 years 8 months ago
On Deterministic Approximation of DNF
Michael Luby, Boban Velickovic