5591 search results - page 471 / 1119 » Design patterns: between programming and software design |
185
Voted
HRI
2010
ACM
16 years 2 months ago
2010
ACM
— This conceptual paper broaches possibilities and limits of establishing psychological intimacy in HRI. Keywords- human-robot interaction, interaction patterns, social and moral...
178
click to vote
SIGCSE
2008
ACM
15 years 7 months ago
2008
ACM
How do new college graduates experience their first software development jobs? In what ways are they prepared by their educational experiences, and in what ways do they struggle t...
172
click to vote
WOSP
2004
ACM
16 years 21 days ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
182
Voted
SQJ
2002
15 years 7 months ago
2002
Acknowledging the intense requirement for low power operation in most portable computing systems, this paper introduces the notion of energy efficient software design and proposes ...
258
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...