13306 search results - page 322 / 2662 » Theoretical Computer Science |
173
click to vote
ACMSE
2005
ACM
16 years 8 days ago
2005
ACM
an extended abstract for a poster that presents a new approach that employs metaprogramming to generate optimized code for algorithms in Linear Algebra. Categories and Subject Des...
196
click to vote
GI
2005
Springer
16 years 6 days ago
2005
Springer
: Intrusion tolerance is a recent approach to deal with intentional and malicious failures. It combines the research on fault tolerance with the research on security, and relies on...
193
click to vote
RTA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
166
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...
217
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
We introduce an object-oriented design pattern called Twin that allows us to model multiple inheritance in programming languages that do not support this feature (e.g. Java, Modula...