4767 search results - page 354 / 954 » Moving between Contexts |
153
click to vote
ITICSE
2000
ACM
15 years 11 months ago
2000
ACM
This paper examines the role of Human Computer Interaction in the context of the Computer Science and Software Engineering curricula. We suggest there needs to be much more integr...
191
click to vote
CBSE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
170
click to vote
COBUILD
1999
Springer
15 years 11 months ago
1999
Springer
This paper argues for the importance of home-related research on technology. Several important differences between researching homes and researching workplaces are described, and s...
167
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
131
click to vote
PEPM
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...