9267 search results - page 78 / 1854 » Expectation-Oriented Analysis and Design |
MR
2007
13 years 8 months ago
2007
Due to the miniaturization of integrated circuits, their thermo-mechanical reliability tends to become a truly critical design criterion.
TVCG
2010
13 years 7 months ago
2010
—Software tools that make it easier for analysts to collaborate as a natural part of their work will lead to better analysis that is informed by more perspectives. We are interes...
TVCG
2008
13 years 8 months ago
2008
Interactive history tools, ranging from basic undo and redo to branching timelines of user actions, facilitate iterative forms of interaction. In this paper, we investigate the des...
ACMIDC
2011
13 years 16 days ago
2011
Explicitly examining the values held by a research community provides a tool in which participants can define its culture, conduct informed research, and reflect on their design p...
ACSW
2006
13 years 10 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...