2392 search results - page 285 / 479 » informs 2000 |
140
Voted
EWSPT
2000
Springer
15 years 8 months ago
2000
Springer
Competitive quality is a need for the progress of the Information Technology sector. For enterprises, process is the starting point of all the approaches in the achievement of comp...
156
click to vote
FC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
145
click to vote
FC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Several public key cryptosystems with additional homomorphic properties have been proposed so far. They allow to perform computation with encrypted data without the knowl...
119
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
164
Voted
FROCOS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...