13306 search results - page 316 / 2662 » Theoretical Computer Science |
179
click to vote
CSR
2008
Springer
15 years 8 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...
179
click to vote
CSR
2008
Springer
15 years 8 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...
168
click to vote
GI
2008
Springer
15 years 7 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...
189
click to vote
ITICSE
2010
ACM
15 years 6 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...
227
click to vote
CAD
1998
Springer
15 years 6 months ago
1998
Springer
Developable surfaces are modelled with pieces of right circular cones. These cone spline surfaces are well-suited for applications: They possess degree two parametric and implicit...