2137 search results - page 205 / 428 » Proving Abstract Non-interference |
193
Voted
INDOCRYPT
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
154
click to vote
ITS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We describe Wayang Outpost, a web-based ITS for the Math section of the Scholastic Aptitude Test (SAT). It has several distinctive features: help with multimedia animatio...
189
click to vote
MICAI
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
172
click to vote
MPC
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
139
Voted
SAMOS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...