17298 search results - page 3086 / 3460 » Abstract computing machines |
188
click to vote
DBPL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
174
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
177
click to vote
METRICS
1999
IEEE
15 years 11 months ago
1999
IEEE
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...
174
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present a novel approach to avoid the debugging of optimized code through comparison checking. In the technique presented, both the unoptimized and optimized versions ...
164
click to vote
EUROCRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present the first efficient statistical zero-knowledge protocols to prove statements such as: – A committed number is a prime. – A committed (or revealed) number ...