1411 search results - page 145 / 283 » Interactive Coding for Interactive Proofs |
106
click to vote
ICWE
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out ...
143
click to vote
FASE
2012
Springer
13 years 5 months ago
2012
Springer
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
CGO
2005
IEEE
15 years 3 months ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Software developers are rooted in the written form of their code, yet they often draw diagrams representing their code. Unfortunately, we still know little about how and why they ...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
Here we present PaperSpace a computer vision based document management system that allows users to combine paper and digital documents. Using PaperSpace users can locate paper cop...