2917 search results - page 324 / 584 » Satisfying Interaction Constraints |
163
click to vote
ECEASST
2008
15 years 6 months ago
2008
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
158
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
180
click to vote
HCI
2009
15 years 4 months ago
2009
Recently, simulation-based ergonomic assessments for handheld products, such as mobile phones, have seen a growing interest and have been increasingly studied. In these studies, th...
150
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
We consider the design of parametric curves from geometric constraints such as distance from lines or points and tangency to lines or circles. We solve the Hermite problem with su...