1675 search results - page 92 / 335 » Compositional Model-Based Design |
HCI
2009
13 years 7 months ago
2009
Task time is a measure of productivity in an interface. Keystroke Level Modeling (KLM) can predict experienced user task time to within 10 to 30% of actual times. One of the bigges...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Ionic polymer-metal composites (IPMCs) form an important category of electroactive polymers and have many potential applications in biomedical, robotic and micro/nano manipulation ...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...
COOPIS
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
GPCE
2009
Springer
14 years 2 months ago
2009
Springer
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...