3595 search results - page 477 / 719 » Roles of Program Extension |
143
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
185
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
In the present paper routing and wavelength assignment (RWA) in optical WDM networks is discussed. Previous techniques on based on the integer linear programming and graph coloring...
168
Voted
ICSR
2004
Springer
15 years 11 months ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
154
Voted
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
154
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...