1573 search results - page 164 / 315 » Picture Programming Project |
124
click to vote
GI
2009
Springer
15 years 24 days ago
2009
Springer
: Over the last years the telecommunications industry has shifted from technology driven and incumbent operators to business driven service providers. There is a need for mature, c...
132
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
170
click to vote
SIGSOFT
2010
ACM
15 years 27 days ago
2010
ACM
Empirical studies that use software repository artifacts have become popular in the last decade due to the ready availability of open source project archives. In this paper, we su...
305
click to vote
Tutorial
"To be a good programmer is difficult and noble. The hardest part of making real a collective vision of a software project is dealing with one's coworkers and customers. ...
228
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...