Debility
发表于 2025-3-28 18:09:02
http://reply.papertrans.cn/27/2689/268828/268828_41.png
广口瓶
发表于 2025-3-28 19:13:19
Further Applications to Lie AlgebrasWe present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL.
esoteric
发表于 2025-3-29 02:22:06
Deriving Business Object Definitions from User Work Process ModelsWhen software is developed to support user work processes (WPs) it’s purpose is to improve their quality by making them faster, cheaper, more accurate, reducing variance, etc. But across industry this purpose has not yet been met in any conspicuous manner for information workers .
limber
发表于 2025-3-29 03:18:26
http://reply.papertrans.cn/27/2689/268828/268828_44.png
predict
发表于 2025-3-29 07:21:28
The viability of modelling socially organised activityghlighting the informal, tacit, contingent, and relational aspects of technology use, it raises issues which test the technical scope and practical value of model making. In this paper, attempts to use activity-based insights in design are reviewed and their implications for the relationship between model and activity are considered.
无法治愈
发表于 2025-3-29 13:49:33
An Ontology for Task World Models belief that task models should be based on an ontology that describes the relevant concepts and the relationships between them, independently of any used graphical representations. Such an ontology helps to understand the different task modeling methods and it can also be operationalized for use in tools.
enfeeble
发表于 2025-3-29 18:49:04
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Controluseful for describing complex cooperative applications can be clearly specified. An example of application to describe En-Route Air Traffic Control (ATC) is given to illustrate and clarify our approach.
规范要多
发表于 2025-3-29 20:08:01
Validating semi-formal specifications of interactors as design representationsorts a case study which assesses the relevance of the representation to the designer who is interested in the usability of a system. The paper discusses this case study and its findings, and discusses some methodological concerns about the validation of design representations of interactive systems.
FAST
发表于 2025-3-30 00:37:17
http://reply.papertrans.cn/27/2689/268828/268828_49.png
温和女孩
发表于 2025-3-30 06:02:02
Which widgets? Deriving implementations from formal user-interface specificationsgn using widgets, determining the user-interface’s presentation is simplified. Such transformation corresponds to redefinition of abstract user tasks at a more concrete level. We illustrate the process by reference to a simple file browser user-interface.