793 search results - page 130 / 159 » Protocol Modeling with Model Program Composition |
128
click to vote
CONEXT
2008
ACM
15 years 4 months ago
2008
ACM
Internet service providers (ISPs) depend on one another to provide global network services. However, the profit-seeking nature of the ISPs leads to selfish behaviors that result i...
118
click to vote
MAGS
2007
15 years 2 months ago
2007
In this article a three staged file transfer approach for the Grid is proposed. File transfer in the Grid can take place at three stages: deployment, user application execution, ...
105
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
109
click to vote
TCC
2010
Springer
15 years 9 months ago
2010
Springer
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...
135
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...