1660 search results - page 162 / 332 » Reliable Communication in VPL |
138
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 20 days ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
184
click to vote
AICT
2006
IEEE
16 years 13 days ago
2006
IEEE
— As the number of online auction sites has increased, interest towards providing reliable summaries, reputations, about the past behaviour of sellers has risen. Existing approac...
194
click to vote
AICT
2006
IEEE
16 years 13 days ago
2006
IEEE
In this paper, we present a distributed Web service discovery architecture that is designed to be reliable, flexible and scalable. The architecture is based on the concept of dis...
172
click to vote
CCGRID
2006
IEEE
16 years 13 days ago
2006
IEEE
Group communications are commonly used in parallel and distributed environment. However, existing migration mechanisms do not support group communications. This weakness prevents ...
158
click to vote
CLUSTER
2006
IEEE
16 years 13 days ago
2006
IEEE
The MPI-IO standard creates a huge opportunity to break out of the traditional file system I/O methods. As a software layer between the user and the file system, an MPI-IO libra...