3404 search results - page 420 / 681 » C Programming Tutorial |
120
click to vote
DEXAW
2005
IEEE
15 years 8 months ago
2005
IEEE
Software organizations follow capability models in order to aggregate quality to their processes and products. Process measurement and analysis are key issues, but their implement...
100
click to vote
HASKELL
2005
ACM
15 years 8 months ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
There is growing interest in computing courses for non-CS majors. We have recently built such a course that has met with positive response. We describe our design process, which i...
119
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
109
click to vote
CIE
2005
Springer
15 years 8 months ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...