6274 search results - page 821 / 1255 » Proofs, Programs, Processes |
201
click to vote
TCS
2002
15 years 6 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
193
click to vote
MA
2010
Springer
15 years 5 months ago
2010
Springer
In this work we provide a new methodology for comparing regression functions m1 and m2 from two samples. Since apart from smoothness no other (parametric) assumptions are required...
184
click to vote
TASLP
2010
15 years 5 months ago
2010
Abstract—Several contributions have been made so far to develop optimal multichannel linear filtering approaches and show their ability to reduce the acoustic noise. However, th...
214
click to vote
TSC
2010
15 years 5 months ago
2010
—Web Services are the most famous implementation of service oriented architectures that has brought some challenging research issues. One of these is the composition, i.e. the ca...
198
click to vote
IPAW
2010
15 years 4 months ago
2010
As more data (especially scientific data) is digitized and put on the Web, the importance of tracking and sharing its provenance metadata grows. Besides capturing the annotation pr...