1195 search results - page 214 / 239 » Modeling an Algebraic Stepper |
101
Voted
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
132
click to vote
WIDM
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we propose a set of similarity metrics for manipulating collections of values occuring in XML documents. Following the data model presented in TAX algebra, we treat...
90
Voted
SCN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Span programs provide a linear algebraic model of computation. Monotone span programs (MSP) correspond to linear secret sharing schemes. This paper studies the properties...
105
Voted
ATS
2003
IEEE
15 years 7 months ago
2003
IEEE
Capacitive crosstalk can give rise to slowdown of signals that can propagate to a circuit output and create a functional error. A test generation methodology, called XGEN, was dev...
114
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...