標(biāo)題: Titlebook: Design, Specification and Verification of Interactive Systems ’99; Proceedings of the E David Duke,Angel Puerta Conference proceedings 1999 [打印本頁] 作者: 天真無邪 時間: 2025-3-21 16:54
書目名稱Design, Specification and Verification of Interactive Systems ’99影響因子(影響力)
書目名稱Design, Specification and Verification of Interactive Systems ’99影響因子(影響力)學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’99網(wǎng)絡(luò)公開度
書目名稱Design, Specification and Verification of Interactive Systems ’99網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’99被引頻次
書目名稱Design, Specification and Verification of Interactive Systems ’99被引頻次學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’99年度引用
書目名稱Design, Specification and Verification of Interactive Systems ’99年度引用學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’99讀者反饋
書目名稱Design, Specification and Verification of Interactive Systems ’99讀者反饋學(xué)科排名
作者: Enliven 時間: 2025-3-21 21:10 作者: 飾帶 時間: 2025-3-22 02:35 作者: 止痛藥 時間: 2025-3-22 07:30
Conference proceedings 1999as held at the Uni- versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses", emphasising the importance of the interface in making 作者: Mutter 時間: 2025-3-22 11:24 作者: 陳腐的人 時間: 2025-3-22 15:30 作者: 陳腐的人 時間: 2025-3-22 18:45 作者: NEX 時間: 2025-3-22 22:04 作者: 我要威脅 時間: 2025-3-23 03:51
Functional Imaging and Modeling of the Heartore dependent upon ease of use. In this paper we examine and assess factors relevant to design quality that are apparent in comparing two alternative modelling approaches. The specific case study used is that of a system for visualising and manipulating a logical tree.作者: fidelity 時間: 2025-3-23 08:30 作者: 存心 時間: 2025-3-23 11:41 作者: delusion 時間: 2025-3-23 17:26
Metastasis and Other Tumors of the CNSnitial tree to obtain a final menu tree. This tree can be finally exported to a graphical editor for free editing and adaptation. This method covers the selection and the positioning of menu items, a first proposal for mnemonics and accelerators that are intrinsically based of menu design guidelines.作者: 修剪過的樹籬 時間: 2025-3-23 18:16
Functional Imaging in Cardiac Tumorsn in a local-area context, then tuning its performance by setting architecture annotations. The paper concludes with timing results showing that architectural annotations can dramatically improve the performance of groupware applications.作者: 緯線 時間: 2025-3-24 02:16
Cancer Biology: What’s Important for Imaging allow the automatic translation of interactor based specifications into SMV, and in the analysis of the role which different verification techniques might have during the development of interactive systems.作者: Mortal 時間: 2025-3-24 02:57
Orientation of the Physiotherapist,ring the design process without doing usage tests. A set of measurable properties is given which together could give an indication about the usability of the design, This way, some usability aspects can be covered early in the design process without the need for an executable prototype or end-users.作者: 軟弱 時間: 2025-3-24 07:04
An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality devices, as well as continuous input devices. It is strongly device oriented, and allows to model mathematically all currently possible input devices for Virtual Reality. The model has been used for the implementation of a general input device library serving as an abstraction layer to a Virtual Reality system.作者: Heart-Attack 時間: 2025-3-24 12:01 作者: 朝圣者 時間: 2025-3-24 18:26 作者: Fissure 時間: 2025-3-24 22:01
Using automated reasoning in the design of an audio-visual communication system allow the automatic translation of interactor based specifications into SMV, and in the analysis of the role which different verification techniques might have during the development of interactive systems.作者: 種族被根除 時間: 2025-3-24 23:35
Usability Properties in Dialog Modelsring the design process without doing usage tests. A set of measurable properties is given which together could give an indication about the usability of the design, This way, some usability aspects can be covered early in the design process without the need for an executable prototype or end-users.作者: Ejaculate 時間: 2025-3-25 06:37 作者: 輕信 時間: 2025-3-25 09:30 作者: 斑駁 時間: 2025-3-25 12:12 作者: Extricate 時間: 2025-3-25 16:31
Presentation Models by Exampler from having to deal with abstractions, and relies on a model-based language for the representation of the displays being constructed and as a means to provide information for the tool to reason about.作者: 抒情短詩 時間: 2025-3-25 20:30
0946-2767 9, which was held at the Uni- versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses", emphasising the importance of the interface 作者: 無瑕疵 時間: 2025-3-26 00:55 作者: 陶醉 時間: 2025-3-26 04:59
https://doi.org/10.1007/978-3-642-40412-2er we propose an approach based on a formal expression of UIS expressed in the temporal logic TRIO which uses a process of model generation to produce significant test cases and oracles. Moreover, we show how this approach can be integrated into a general validation and verification process in which the UIS is still informally developed.作者: 孤僻 時間: 2025-3-26 12:18 作者: 外面 時間: 2025-3-26 14:00 作者: 引水渠 時間: 2025-3-26 20:19 作者: HERTZ 時間: 2025-3-26 22:55
0946-2767 odel-based design, were also represented. This book includes the papers of the two invited speakers (one as an abstract only), the fourteen full papers accepted978-3-211-83405-3978-3-7091-6815-8Series ISSN 0946-2767 作者: 笨拙的你 時間: 2025-3-27 02:13
Functional Imaging and Modeling of the Heartulti-media systems we require multi-modal models for which the influence of task is very significant. In order to account for this level of task dependency we are having to develop and evaluate cognitive models. Examples that illustrate the diversity of emerging service propositions and the complexi作者: Mhc-Molecule 時間: 2025-3-27 06:18 作者: PALSY 時間: 2025-3-27 11:57 作者: 不出名 時間: 2025-3-27 15:28 作者: PAD416 時間: 2025-3-27 21:31
An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Realityofit from our experience in the interaction with the real world. This paper corrects the early taxonomy of interaction devices and actions introduced by Foley for screen based interactive systems by adapting it to real world and to virtual reality systems. Basing on the taxonomy derived, the paper p作者: Mumble 時間: 2025-3-27 22:17 作者: TEN 時間: 2025-3-28 04:37
Contrasting Models for Visualisation (Seeing the wood through the trees)e frequently offered by identifying and/or developing appropriate models, from which requirements and systems can be expressed and even verified. In addition, to this there is a growing recognition that selecting and employing a model is an activity which is less dependent upon formal adequacy and m作者: LVAD360 時間: 2025-3-28 07:16 作者: hemophilia 時間: 2025-3-28 11:50
Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applicationsive applications, especially in the domain of business oriented ones. To provide some assistance to designers who are responsible for achieving this task, a two-phased design method for a menu bar and related pull-down menus is presented. Based on a entity-relationship model of the final application作者: 絕食 時間: 2025-3-28 17:32 作者: 權(quán)宜之計 時間: 2025-3-28 19:08
Refinement of the PAC model for the component-based design and specification of television based inteptual architecture for structuring user interface software in an object oriented fashion. This paper reports our experience of adapting and refining PAC as a component architecture in the context of consumer electronics, and On-screen Displays in particular. The paper describes a structured scheme 作者: Pde5-Inhibitors 時間: 2025-3-29 00:10
Flexibly Mapping Synchronous Groupware Architectures to Distributed Implementationsation as a distributed system. Because they abstract issues of distribution, networking and concurrency control, design-level architectures can be implemented using a range of distributed implementation architectures. This paper shows how the implementation of groupware applications can be guided by作者: cyanosis 時間: 2025-3-29 04:48 作者: 裝勇敢地做 時間: 2025-3-29 09:29
Using automated reasoning in the design of an audio-visual communication systemve area of human understanding meets the objectivity of computer systems logic. We present results of a case study in the use of automated reasoning to aid the formal analysis of interactive systems. We show how we can use human-factors issues to generate properties of interest, and how we can use m作者: anagen 時間: 2025-3-29 11:38 作者: nugatory 時間: 2025-3-29 19:13
Dialogue Validation from Task Analysisthod and a tool to analyse whether the design actually fulfils the original requirements for the system. The principle of our validation method is to generate the complete set of possible user interaction sequences from the task analysis. Then, this set is injected in the Dialogue Controller Compone作者: 朝圣者 時間: 2025-3-29 22:19
Task- and Object-Oriented Development of Interactive Systems — How many models are necessary ?development process and its underlying representations. Within the paper different types of models are classified according to their importance for the development process. The relation between existing, envisioned and programming models are discussed and a task driven approach for object-oriented p作者: 無辜 時間: 2025-3-30 00:08 作者: Injunction 時間: 2025-3-30 04:12
Modelisation of Co-operative Worktarreously. In such systems, we must take into account technological aspects as well as human factors. Characteristics involved with users (such as usability and performance) as well as the social and contextual organisation Hurst be studied. By doing so, an abstract model, regarding design and impl作者: visual-cortex 時間: 2025-3-30 11:36
Discussion topics for the DSV-IS’99 working groups two design scenarios as a starting point for discussion. Each group was free to work on either or both of the scenarios. A Rapporteur was appointed for each of the groups, and the following three chapters of these proceedings contain a summary of the points that were raised within the groups.作者: 兩棲動物 時間: 2025-3-30 14:30
Nolan R. Altman MD,Byron Bernal MDOne of the themes of this year’s workshop is the challenge of designing usable systems that make use of shared environments. Based on this, one of the scenarios selected for discussion by the working groups consists of “genuinely co-operative applications, involving concurrent interaction between multiple parties in some form of shared world”.作者: 最后一個 時間: 2025-3-30 17:26
Cross-Contextual Reference in Human-Computer InteractionOne of the themes of this year’s workshop is the challenge of designing usable systems that make use of shared environments. Based on this, one of the scenarios selected for discussion by the working groups consists of “genuinely co-operative applications, involving concurrent interaction between multiple parties in some form of shared world”.作者: 無能力 時間: 2025-3-30 20:59
https://doi.org/10.1007/978-3-319-20309-6, feel, and manipulate virtual environments have generated considerable excitement. Synthesizing virtual haptic objects requires an optimal balance between the human haptic ability to sense object properties, computational complexity to render them in real time, and fidelity of the device in deliver作者: 蠟燭 時間: 2025-3-31 04:49 作者: 小平面 時間: 2025-3-31 05:52 作者: Germinate 時間: 2025-3-31 12:52
Functional Imaging and Modeling of the Heartcontinuous interaction, such as gestures and moving video, with discrete interaction, such as pushing buttons to select items. Unfortunately the description of the behavioural aspects of these interaction techniques found in the literature is informal and incomplete. This can make it hard to compare作者: Ancillary 時間: 2025-3-31 14:29
Functional Imaging and Modeling of the Hearte frequently offered by identifying and/or developing appropriate models, from which requirements and systems can be expressed and even verified. In addition, to this there is a growing recognition that selecting and employing a model is an activity which is less dependent upon formal adequacy and m作者: Flu表流動 時間: 2025-3-31 17:45
https://doi.org/10.1007/978-3-031-35302-4evel of abstraction, the specification language has been enriched with such concepts as Interactive Objects, and user actions. A description of a prototyping tool based on this language has been given.作者: Brochure 時間: 2025-4-1 01:37
Metastasis and Other Tumors of the CNSive applications, especially in the domain of business oriented ones. To provide some assistance to designers who are responsible for achieving this task, a two-phased design method for a menu bar and related pull-down menus is presented. Based on a entity-relationship model of the final application作者: 宣稱 時間: 2025-4-1 02:52 作者: 沒有準(zhǔn)備 時間: 2025-4-1 08:00
Functional Imaging in Cardiac Tumorseptual architecture for structuring user interface software in an object oriented fashion. This paper reports our experience of adapting and refining PAC as a component architecture in the context of consumer electronics, and On-screen Displays in particular. The paper describes a structured scheme 作者: OWL 時間: 2025-4-1 12:45
