Sciweavers

3775 search results - page 388 / 755
» The Expression Problem Revisited
Sort
View
167
Voted
GPCE
2005
Springer
16 years 11 days ago
FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming
Abstract. This paper presents FeatureC++, a novel language extension to C++ that supports Feature-Oriented Programming (FOP) and Aspect-Oriented Programming (AOP). Besides well-kno...
Sven Apel, Thomas Leich, Marko Rosenmüller, G...
181
Voted
ISSAC
2005
Springer
105views Mathematics» more  ISSAC 2005»
16 years 11 days ago
Computing the rank and a small nullspace basis of a polynomial matrix
We reduce the problem of computing the rank and a nullspace basis of a univariate polynomial matrix to polynomial matrix multiplication. For an input n×n matrix of degree d over ...
Arne Storjohann, Gilles Villard
LPAR
2005
Springer
16 years 11 days ago
Comparative Similarity, Tree Automata, and Diophantine Equations
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
164
Voted
WEBI
2005
Springer
16 years 10 days ago
Providing Expert Advice by Analogy for On-Line Help
One of the principal problems of online help is the mismatch between the specialized knowledge and technical vocabulary of experts who are providing the help, and the relative na...
Henry Lieberman, Ashwani Kumar
177
Voted
CSL
2004
Springer
16 years 8 days ago
Parameterized Model Checking of Ring-Based Message Passing Systems
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems,  ¢¡ , comprised of finite, but arbitrarily many,...
E. Allen Emerson, Vineet Kahlon