2496 search results - page 328 / 500 » Error-detecting properties of languages |
137
click to vote
CARDIS
2004
Springer
15 years 10 months ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...
170
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
137
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
131
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
131
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...