7167 search results - page 1084 / 1434 » A Technique for Invariant Generation |
234
click to vote
AWCC
2004
Springer
16 years 1 months ago
2004
Springer
This paper proposes progressive group testing techniques to test large number of Web services (WS) available on Internet. At the unit testing level, the WS with the same functional...
244
click to vote
CSCLP
2004
Springer
16 years 1 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
203
click to vote
CTRSA
2004
Springer
16 years 1 months ago
2004
Springer
We introduce a new cryptographic technique that we call universal re-encryption. A conventional cryptosystem that permits reencryption, such as ElGamal, does so only for a player w...
201
click to vote
DFG
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
191
click to vote
EGH
2004
Springer
16 years 1 months ago
2004
Springer
The shadow volume algorithm is a popular technique for real-time shadow generation using graphics hardware. Its major disadvantage is that it is inherently fillrate-limited, as t...