4917 search results - page 136 / 984 » Software Engineering is Not Computer Science |
150
click to vote
FSTTCS
2010
Springer
15 years 14 days ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
115
click to vote
CSCW
2008
ACM
15 years 4 months ago
2008
ACM
Recent techniques show the benefits of attaching communitygenerated knowledge to artifacts in an information space and presenting it to subsequent readers. We argue that such know...
143
Voted
JUCS
2000
15 years 2 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
108
click to vote
UIST
1995
ACM
15 years 6 months ago
1995
ACM
Current user interface techniques such as WIMP or the desktop metaphor do not support real world tasks, because the focus of these user interfaces is only on human–computer inte...
107
click to vote
CANDC
2007
ACM
15 years 6 months ago
2007
ACM
This paper reports on a transdisciplinary undergraduate university course designed to bring together fine art/visual communication design and computer science students for the cre...