4386 search results - page 421 / 878 » A Tamper-Resistant Programming Language System |
123
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
An item pool with multimedia data is a finclamental part of our project? Computerized Adaptive Test System of Chinese Proficiency. This p p e r intends to present a design of a mu...
136
click to vote
UM
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
261
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
104
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
145
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Exploiting thread level parallelism is paramount in the multi-core era. Transactions enable programmers to expose such parallelism by greatly simplifying the multi-threaded progra...