2303 search results - page 163 / 461 » Interior-Point Methods in Parallel Computation |
148
Voted
PODC
2003
ACM
15 years 8 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
124
Voted
PARA
2000
Springer
15 years 7 months ago
2000
Springer
Our proposal has the following key features: 1) The separation of a distributed program into a pure algorithm (PurAl) and a distribution/communication declaration (DUAL). This yie...
117
Voted
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
Convolution kernels, such as tree kernel and subsequence kernel are useful for natural language processing tasks. However, most of them ignore the semantic knowledge. In order to ...
115
Voted
NSPW
2006
ACM
15 years 9 months ago
2006
ACM
The use of deception is one of many defensive techniques being explored today. In the past, defenders of systems have used deception haphazardly, but now researchers are developin...
111
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...