Herbivorous
发表于 2025-3-26 22:38:18
http://reply.papertrans.cn/32/3109/310839/310839_31.png
CROAK
发表于 2025-3-27 01:20:36
0302-9743 ening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human–computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Sy
Relinquish
发表于 2025-3-27 08:44:04
Risk Management of Loans and Guarantees,ike timing analysis are combined within a unified framework. This allows one to judge whether a formally correct design is also acceptable on performance grounds, and vice versa. We illustrate our approach with an example based on a KLM style timing analysis.
bromide
发表于 2025-3-27 13:20:10
,2012: “Our Journey Is Not Complete”,rfaces for a given platform and build the corresponding logical descriptions, which can then be manipulated to obtain versions adapted to different platforms. In this paper we present a solution to this issue that is able to reverse engineer even interfaces supporting different modalities (graphical and voice).
情爱
发表于 2025-3-27 14:05:47
http://reply.papertrans.cn/32/3109/310839/310839_35.png
prolate
发表于 2025-3-27 19:20:23
http://reply.papertrans.cn/32/3109/310839/310839_36.png
围裙
发表于 2025-3-28 00:25:44
Ricardo Gottschalk,Cecilia Azevedo Sodréed at run-time in a transparent way and how learning methods are applied to anticipate future user actions and to adapt the user interface accordingly. The feasibility and performance of our approach are shown by applying our approach to a non-trivial application and by performing tests with real users.
观察
发表于 2025-3-28 04:09:39
Scoring Models for Retail Exposures,er presents our method for automatically testing interactive multimodal systems using the Lutess environment. In particular, we show that automatic test data generation based on different strategies can be carried out. Furthermore, we show how multimodality-related properties can be specified in Lustre and integrated in test oracles.
小木槌
发表于 2025-3-28 07:56:41
Principles of Frame Constructione intrinsic characteristic of both models we define a common formal semantics and provide a formal definition of consistency between task models and use cases. The semantic mapping and the application of the proposed consistency definition are supported by an illustrative example.
cornucopia
发表于 2025-3-28 13:27:43
http://reply.papertrans.cn/32/3109/310839/310839_40.png