2880 search results - page 272 / 576 » Types are calling conventions |
183
click to vote
EUROCRYPT
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. A blind signature scheme is a protocol for obtaining a signature from a signer such that the signer's view of the protocol cannot be linked to the resulting message-...
182
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
154
click to vote
BIRD
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a new type of workflow design system called e-BioFlow and illustrate it by means of a simple sequence alignment workflow. E-BioFlow, intended to model advanced scienti...
184
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
Current data warehouse and OLAP technologies can be applied to analyze the structured data that companies store in their databases. The circumstances that describe the context ass...
156
click to vote
CIDR
2007
15 years 8 months ago
2007
In this paper, we investigate the benefits and challenges of integrating history into a near-real-time monitoring system; and present a general purpose continuous monitoring engi...