1626 search results - page 288 / 326 » Subtyping with Power Types |
123
click to vote
DILS
2007
Springer
15 years 8 months ago
2007
Springer
2D-Nuclear magnetic resonance (NMR) spectroscopy is a powerful analytical method to elucidate the chemical structure of molecules. In contrast to 1D-NMR spectra, 2D-NMR spectra cor...
127
click to vote
FC
2007
Springer
15 years 8 months ago
2007
Springer
This paper introduces Hidden Identity-based Signatures (Hidden-IBS), a type of digital signatures that provide mediated signer-anonymity on top of Shamir’s Identity-based signat...
125
click to vote
MHCI
2007
Springer
15 years 8 months ago
2007
Springer
Mobile phone users have to deal with limited battery lifetime through a reciprocal process we call human-battery interaction (HBI). We conducted three user studies in order to und...
118
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
101
click to vote
AUIC
2006
IEEE
15 years 8 months ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...