9520 search results - page 1790 / 1904 » is 2011 |
286
Voted
CSEE
2011
Springer
14 years 8 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
252
click to vote
CSMR
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
207
click to vote
CSR
2011
Springer
14 years 8 months ago
2011
Springer
The Goldreich’s function has n binary inputs and n binary outputs. Every output depends on d inputs and is computed from them by the fixed predicate of arity d. Every Goldreich...
245
Voted
CSUR
2011
14 years 8 months ago
2011
high-level programming abstractions, capable of simplifying the programming chore without sacrificing efficiency, has been long recognized and several solutions have been hitherto...
180
click to vote
CTRSA
2011
Springer
14 years 8 months ago
2011
Springer
Non-malleability of a cryptographic primitive is a fundamental security property which ensures some sort of independence of cryptographic values. The notion has been extensively st...