1127 search results - page 73 / 226 » Theory Extension in ACL2(r) |
111
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
104
click to vote
LICS
2003
IEEE
15 years 6 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 ...
METRICS
2003
IEEE
15 years 6 months ago
2003
IEEE
Design patterns are recognized, named solutions to common design problems. The use of the most commonly referenced design patterns should promote adaptable and reusable program co...
93
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. As the UML attempts to make the transition from a single, albeit extensible, language to a framework for a family of languages, the nature and form of the underlying meta...
108
click to vote
DCG
2002
15 years 18 days ago
2002
For each pair (Qi, Qj) of reference points and each real number r there is a unique hyperplane h QiQj such that d(P, Qi)2 - d(P, Qj)2 = r for points P in h. Take n reference point...