10916 search results - page 1931 / 2184 » On Constructive Connectives and Systems |
157
click to vote
KORSO
1995
15 years 10 months ago
1995
in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers,...
153
click to vote
PODC
1995
ACM
15 years 10 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
187
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
In this paper we introduce a new approach to controlling error in hierarchical clustering algorithms for radiosity. The new method ensures that just enough work is done to meet th...
205
click to vote
ANSS
1991
IEEE
15 years 10 months ago
1991
IEEE
The notions of the critical path of events and critical time of an event are key concepts in analyzing the performance of a parallel discrete event simulation. The highest critica...
181
click to vote
ACNS
2010
Springer
15 years 10 months ago
2010
Springer
Secure sketches are useful in extending cryptographic schemes to biometric data since they allow recovery of fuzzy secrets under inevitable noise. In practice, secrets derived from...