2576 search results - page 375 / 516 » The Complexity of Zero Knowledge |
175
click to vote
ISPAN
1999
IEEE
15 years 10 months ago
1999
IEEE
Parallel simulationhas the potentialto accelerate the execution of simulation applications. However, developing a parallel discrete-event simulation from scratch requires an in-de...
184
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
170
Voted
AGP
1998
IEEE
15 years 10 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
143
click to vote
ICIAP
1999
ACM
15 years 10 months ago
1999
ACM
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...
171
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...