2702 search results - page 235 / 541 » Message from the Editor |
144
click to vote
SASO
2007
IEEE
16 years 26 days ago
2007
IEEE
Current aggregation systems either have a single inbuilt aggregation mechanism or require applications to specify an aggregation policy a priori. It is hard to predict the read an...
152
click to vote
CEAS
2007
Springer
16 years 23 days ago
2007
Springer
We show how a game-theoretic model of spam e-mailing, which we had introduced in previous work, can be extended to include the possibility of employing Human Interactive Proofs (h...
145
click to vote
PET
2007
Springer
16 years 21 days ago
2007
Springer
A system that protects the unlinkability of certain data items (e. g. identifiers of communication partners, messages, pseudonyms, transactions, votes) does not leak information t...
163
click to vote
VMCAI
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
163
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
Although several analytical models have been proposed in the literature for different interconnection networks with different routing algorithms, there is only one work dealing wi...