6274 search results - page 75 / 1255 » Proofs, Programs, Processes |
SIGCSE
2009
ACM
14 years 5 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
MPC
2010
Springer
14 years 2 months ago
2010
Springer
We show a new and constructive proof of the two-squares theorem, based on a somewhat unusual, but very effective, way of rewriting the so-called extended Euclid’s algorithm. Rat...
USS
2010
13 years 8 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
JDCTA
2010
13 years 5 months ago
2010
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
IFIP
2000
Springer
14 years 1 months ago
2000
Springer