4609 search results - page 592 / 922 » Automatic Generation of Sigma-Protocols |
179
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
177
click to vote
COOPIS
2000
IEEE
15 years 11 months ago
2000
IEEE
The identification and analysis of the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves...
157
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
The formulation and optimization of joint trajectories for humanoid robots is quite different from this same task for standard robots because of the complexity of the humanoid rob...
159
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Wavefront computations are common in scientific applications. Although it is well understood how wavefronts are pipelined for parallel execution, the question remains: H...
202
click to vote
ADL
2000
Springer
15 years 11 months ago
2000
Springer
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...