4609 search results - page 401 / 922 » Automatic Generation of Sigma-Protocols |
161
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
202
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
168
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...
140
click to vote
MM
1999
ACM
15 years 11 months ago
1999
ACM
As streaming audio-video technology becomes widespread, there is a dramatic increase in the amount of multimedia content available on the net. Users face a new challenge: How to e...
169
click to vote
WSC
2008
15 years 9 months ago
2008
In the automotive area, a huge number of different technologies were developed in the last couples of years. The car manufacturers have to meet the challenge of selecting the most...