16218 search results - page 439 / 3244 » Standards |
176
click to vote
AIMSA
2000
Springer
15 years 11 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
165
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
This chapter addresses the problem of producing and maintaining progress in agent design. New architectures often hold important insights into the problems of designing intelligenc...
218
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a method to reduce the complexity of a linear or linearized (small-signal) analog circuit. The reduction technique, based on quality-error ranking, can be used...
232
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
151
click to vote
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes our experiences in having students build a software engineering tool as a course project in a CS2 course. The tool, which we called JDuck Java DocumenterofCo...