11016 search results - page 648 / 2204 » Cloud Computing for Science |
123
click to vote
DCC
1991
IEEE
15 years 10 months ago
1991
IEEE
d abstract) Paul G. Howard' and Jeffrey Scott Vitter2 Department of Computer Science Brown University Providence, R. I. 02912-1910
195
click to vote
CSR
2008
Springer
15 years 9 months ago
2008
Springer
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
195
Voted
CSR
2008
Springer
15 years 9 months ago
2008
Springer
The main purpose of this paper is to show that public key encryption can be secure against the "encryption emulation" attack (on the sender's encryption) by computat...
194
click to vote
GI
2008
Springer
15 years 8 months ago
2008
Springer
: Dealing with context information is an important concern for mobile service computing. However, modern frameworks and programming languages do not directly support context-depend...
196
click to vote
ITICSE
2010
ACM
15 years 7 months ago
2010
ACM
We present the curriculum, deployment, and initial evaluation of a course, BioCS1, designed to serve as CS1 and Biology1 for majors of either (or both) disciplines. Cotaught by pr...