改革运动
发表于 2025-3-25 05:19:04
http://reply.papertrans.cn/27/2689/268826/268826_21.png
BRIEF
发表于 2025-3-25 09:38:25
Specifying and Reasoning About CSCWsystem and the people, i.e. we do not follow a simple action and agent analysis. Since people bring knowledge to a system we treat them differently. We also propose the use of situation theory as a way of capturing requirements.
pacific
发表于 2025-3-25 13:52:42
https://doi.org/10.1007/978-1-4020-9365-4cription of both the device and cognitive resources to be captured in a common representation. In this paper syndesis provides a foundation for examining the coordinate spaces and transformations that are needed both by the operator and the computer system in performing tasks with a given device.
充气球
发表于 2025-3-25 19:43:02
http://reply.papertrans.cn/27/2689/268826/268826_24.png
exclusice
发表于 2025-3-25 20:42:09
http://reply.papertrans.cn/27/2689/268826/268826_25.png
斜谷
发表于 2025-3-26 00:47:06
Mathematics and Its Applicationsave different features which allow us to consider useful their integrated use to obtain synergistic and complementary results. In this paper we show their application to some examples in order to discuss similarities and differences and we outline a proposal for their integrated use.
cyanosis
发表于 2025-3-26 05:09:59
Efficacy of Acid Suppression Therapynd device models. The devices and tasks are modeled by colored Petri nets partitioned to cleanly distinguish submodel component visibility and interface affordances. The formality of Petri nets allows for axiomatic validation of isolated and interacting subsystems.
神化怪物
发表于 2025-3-26 09:16:59
Device Modelscription of both the device and cognitive resources to be captured in a common representation. In this paper syndesis provides a foundation for examining the coordinate spaces and transformations that are needed both by the operator and the computer system in performing tasks with a given device.
creatine-kinase
发表于 2025-3-26 15:32:17
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systemssuch interactions. We then show how multimodal interactions can be built from monomodal ones by combining those models. This is exemplified by an experimental two-handed graphical editor that has been built using the proposed model.
Impugn
发表于 2025-3-26 19:40:22
Deriving a formal model of an interactive system from its UIL description in order to verify and to eems very hard to produce by common designers. A more realistic attitude consists in deriving a formal model from the description of the intended interface as it was informally designed. Practically, a tool generates models in the language Lustre from a user’s UIL description and these models are used for verification or test purposes.