860 search results - page 110 / 172 » Completeness in two-party secure computation: a computationa... |
138
click to vote
NDSS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this work, we aim to reduce the computational costs of using public-key digital signatures in securing routing protocols. Two protocols (COSP and IOSP) using one-time digitalsi...
149
click to vote
ITCC
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
169
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
151
click to vote
BCSHCI
2008
15 years 7 months ago
2008
We present the design of a system for Aphasics that assist them in storytelling. Storytelling, in the sense of being able to relate recent and past experiences to relevant others,...
155
click to vote
ENTCS
2008
15 years 6 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...