9626 search results - page 1658 / 1926 » Invariant Based Programming |
164
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Self-Adapting Numerical Software (SANS) systems aim to bridge the knowledge gap that exists between the expertise of domain scientists, and the know-how that is needed to fulfill...
172
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
190
click to vote
INDOCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
157
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
In modern architectures based on Web Services or Cloud Computing, a very large number of user requests arrive concurrently and has to be scheduled for execution constrained by cor...
165
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
— CAPTCHA is a technique that is used to prevent automatic programs from being able to acquire free e-mail or online service accounts. However, as many researchers have already r...