4609 search results - page 727 / 922 » Automatic Generation of Sigma-Protocols |
170
click to vote
HICSS
2007
IEEE
16 years 25 days ago
2007
IEEE
In this paper, we present a practical experiment of building a service-oriented system upon current web services technologies and bioinformatics middleware. The system allows scie...
160
click to vote
HPDC
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper describes a novel approach to generate an optimized schedule to run threads on distributed shared memory (DSM) systems. The approach relies upon a binary instrumentatio...
169
click to vote
ICDCS
2007
IEEE
16 years 25 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
178
click to vote
INFOCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
— Protecting BGP routing from errors and malice is one of the next big challenges for Internet routing. Several approaches have been proposed that attempt to capture and block ro...
157
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
Compiler technology for multimedia extensions must effectively utilize not only the SIMD compute engines but also the various levels of the memory hierarchy: superword registers,...