5054 search results - page 98 / 1011 » How designers design and program interactive behaviors |
158
click to vote
BMAS
2000
IEEE
15 years 10 months ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
143
click to vote
ACMDIS
2000
ACM
15 years 10 months ago
2000
ACM
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...
186
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
158
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
143
click to vote
ITS
1992
Springer
15 years 10 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...