619 search results - page 78 / 124 » Generic Extensions and Generic Polynomials |
122
Voted
AFRICACRYPT
2009
Springer
15 years 9 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
125
click to vote
ICNP
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper presents the design and implementation of declarative policy-based adaptive MANET routing protocols. Our work builds upon declarative networking, a recent innovation ...
116
Voted
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
104
Voted
GPCE
2005
Springer
15 years 8 months ago
2005
Springer
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...
110
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...