3256 search results - page 559 / 652 » Applications of Formal Methods to System Design and Verifica... |
SARA
2009
Springer
15 years 4 months ago
2009
Springer
: Given a system design (SD), a key task is to optimize this design to reduce the probability of catastrophic failures. We consider the task of redesigning an SD to minimize the pr...
117
click to vote
UIST
1999
ACM
15 years 2 months ago
1999
ACM
Freehand sketching has long had appeal as an artistic medium for conceptual design because of its immediacy in capturing and communicating design intent and visual experience. We ...
FPLAY
2008
14 years 11 months ago
2008
Games for learning cannot take the same design approach as games when targeting audiences. While players of entertainment games have the luxury of choosing games that suit them, s...
GRAPHICSINTERFACE
2000
14 years 11 months ago
2000
"Bloat", a term that has existed in the technical community for many years, has recently received attention in the popular press. The term has a negative connotation imp...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Dirty paper coding (DPC) refers to methods for pre-subtraction of known interference at the transmitter of a multiuser communication system. There are numerous applications for DPC...