1235 search results - page 57 / 247 » The Designers' Notepad: Supporting and Understanding Coopera... |
177
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: We investigate the empirical complexity of the RNA secondary structure design problem, that is, the scaling of the typical difficulty of the design task for various cl...
129
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
152
click to vote
AIIA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we illustrate an application aimed at predicting protein secondary structure. The proposed system has been devised using PACMAS, a generic architecture designed to s...
174
click to vote
DARE
2000
15 years 7 months ago
2000
In User Centred Design, the integration of knowledge of users work practice, preferences etc. into the design process is crucial to success. For this reason, video recording has b...
159
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Increasingly, systems are being developed and used in ways that involve end of life issues such as death, dying, and bereavement. Yet design considerations and guidelines for tech...