5387 search results - page 458 / 1078 » Generating generic functions |
198
Voted
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
178
click to vote
COST
2007
Springer
16 years 1 months ago
2007
Springer
This study investigates how the psychological notion of affordance, known from human computer interface design, can be adopted for the analysis and design of communication of a use...
177
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
The paper presents LOCO-Analyst, an educational tool for providing teachers with feedback on the relevant aspects of the learning process taking place in a web-based learning envir...
168
Voted
FPL
2007
Springer
16 years 1 months ago
2007
Springer
We are developing a set of reusable design blocks and several prototype systems for emulation of multi-core architectures in FPGAs. RAMP Blue is the first of these prototypes and...
193
Voted
PKC
2007
Springer
16 years 1 months ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...