4917 search results - page 467 / 984 » Software Engineering is Not Computer Science |
132
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
137
Voted
CSCWD
2005
Springer
15 years 10 months ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
112
click to vote
FECS
2007
15 years 6 months ago
2007
In this paper, we discuss the design and engineering of the C-P30, a custom robot design at Cal Poly State University, San Luis Obispo. This robot is designed by undergraduate com...
119
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
Collaborative object-based graphical editors offer good support for design teams to work concurrently on their design. However, not much research has been done on maintaining cons...
147
click to vote
FPCA
1995
15 years 8 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...