標題: Titlebook: Engineering for HCI; Leonard J. Bass,Claus Unger Book 1996 IFIP International Federation for Information Processing 1996 CSCW.Design.Inter [打印本頁] 作者: 近地點 時間: 2025-3-21 16:11
書目名稱Engineering for HCI影響因子(影響力)
書目名稱Engineering for HCI影響因子(影響力)學科排名
書目名稱Engineering for HCI網(wǎng)絡公開度
書目名稱Engineering for HCI網(wǎng)絡公開度學科排名
書目名稱Engineering for HCI被引頻次
書目名稱Engineering for HCI被引頻次學科排名
書目名稱Engineering for HCI年度引用
書目名稱Engineering for HCI年度引用學科排名
書目名稱Engineering for HCI讀者反饋
書目名稱Engineering for HCI讀者反饋學科排名
作者: 周年紀念日 時間: 2025-3-21 21:37 作者: 言行自由 時間: 2025-3-22 00:47
Vision for man machine interactions) and their electronic counterparts limits both the integration of computing into human tasks, and the population willing to adapt to the required input devices. Computer vision, coupled with video projection using low cost devices, makes it possible for a human to use any convenient object, includ作者: 保留 時間: 2025-3-22 08:37
Exploring terra incognita in the design space of query devices and toggles. The design space of query devices is structured and it is shown how the design space can be explored so that consistent and distinguishable query devices are created. Existing query devices are placed in the design space and new ones suggested. A set of query devices aimed at dynamic q作者: installment 時間: 2025-3-22 10:40 作者: flavonoids 時間: 2025-3-22 13:41 作者: flavonoids 時間: 2025-3-22 19:17 作者: 信徒 時間: 2025-3-23 00:36 作者: Phenothiazines 時間: 2025-3-23 05:03 作者: 怕失去錢 時間: 2025-3-23 06:28 作者: 變異 時間: 2025-3-23 09:48 作者: 小蟲 時間: 2025-3-23 15:13
Formal verification of undesired behaviours in the CERD case studyrs. We perform a formal specification of both the user and system in terms of internal and external actions. The temporal ordering among these actions is described by a concurrent notation. The specification of the system is obtained by considering task decomposition. Once we have obtained the final作者: Amenable 時間: 2025-3-23 21:49
Multiuser architecturescture that captures properties com-mon to the points in this design space, a set of issues that arise in the design of an instance of this architecture, a discussion of alternate approaches to resolving these issues, and several criteria for comparing the approaches. The generic architecture divides作者: 擁護 時間: 2025-3-23 22:13 作者: 搖曳 時間: 2025-3-24 03:12
https://doi.org/10.1007/978-94-007-2291-0 behind wearable computers and then focus on a particular project at Carnegie Mellon University involving the development of a wearable designed for on-site maintenance of large vehicles. This computer is discussed in terms of its projected use (both solo and collaborative), its development process 作者: CYN 時間: 2025-3-24 09:41 作者: Mets552 時間: 2025-3-24 14:11 作者: 原諒 時間: 2025-3-24 18:42 作者: heartburn 時間: 2025-3-24 20:03
https://doi.org/10.1007/978-94-017-3331-1ributed application. The reactive style, however, reflects the mismatch between multithreaded interfaces and a single threaded process, and is actually the equivalent of ., a source code transformation used by some compilers. Using continuations for callbacks eliminates much of the difficulty of the作者: 脫離 時間: 2025-3-25 02:36
Martin Holland (Senior Lecturer) to decrease the user’s learning time while increasing the user’s confidence and efficiency. It has been designed and developed to allow a goals and tasks based interaction between the user and his application. A prototype of this interactive environment, which is named the Assistant, is currently i作者: 祖?zhèn)髫敭a(chǎn) 時間: 2025-3-25 06:46
The Future of European Securitytem. The general concept of the COMPASS system is the automatic adjustment of constraints according to their high-level specification such that a programming interface to explicitly add, remove or modify constraints is unnecessary. In particular, COMPASS provides the following features to support mo作者: intoxicate 時間: 2025-3-25 09:15
The Future of European Social Democracye model-based paradigm, developers create a declarative model that describes the tasks that users are expected to accomplish with a system, the functional capabilities of a system, the style and requirements of the interface, the characteristics and preferences of the users, and the I/O techniques s作者: TAG 時間: 2025-3-25 14:37
https://doi.org/10.1007/978-1-349-26543-5ct manipulation. Its underlying model is based on concurrent evolution of graphical objects, position and attribute constraints, trajectory-based motion, event synchronization. Animation may be produced by time signals, user input or application values. Our objective is twofold: first, to present an作者: incite 時間: 2025-3-25 16:25
https://doi.org/10.1007/978-3-030-14533-0es of interactive systems. The paper discusses justification of transformation of functional specifications into user interface specification, and the use of a verification tool for verifying system properties. We will demonstrate how some properties can be formulated, so they can be used together w作者: BLINK 時間: 2025-3-25 22:59 作者: Aphorism 時間: 2025-3-26 00:40
https://doi.org/10.1007/978-1-349-10439-0rs. We perform a formal specification of both the user and system in terms of internal and external actions. The temporal ordering among these actions is described by a concurrent notation. The specification of the system is obtained by considering task decomposition. Once we have obtained the final作者: 雪上輕舟飛過 時間: 2025-3-26 06:05
https://doi.org/10.1007/978-3-031-41356-8cture that captures properties com-mon to the points in this design space, a set of issues that arise in the design of an instance of this architecture, a discussion of alternate approaches to resolving these issues, and several criteria for comparing the approaches. The generic architecture divides作者: 天真 時間: 2025-3-26 10:27
https://doi.org/10.1007/978-3-030-56470-4iuser interfaces by using structured distributed shared memories preserving interaction objects. The main benefit of this architecture is that it can clearly divide multiuser interface modules and application core modules, and keep high module dependency among them. The focus of this paper is to sho作者: 文藝 時間: 2025-3-26 13:41 作者: arabesque 時間: 2025-3-26 18:30
IFIP International Federation for Information Processing 1996作者: 啜泣 時間: 2025-3-26 22:32 作者: LAPSE 時間: 2025-3-27 02:38
https://doi.org/10.1057/9780230620858A formal specification technique for specification of interactive systems is described. The abstract behavior of the system is described first, and a formal description of a concrete user interface is added to the abstract description as a refinement step. Interaction properties of the specified system can be analyzed by using the formal method.作者: Ambulatory 時間: 2025-3-27 09:16
Adding user interface to a behavioral specificationA formal specification technique for specification of interactive systems is described. The abstract behavior of the system is described first, and a formal description of a concrete user interface is added to the abstract description as a refinement step. Interaction properties of the specified system can be analyzed by using the formal method.作者: indignant 時間: 2025-3-27 12:31
IFIP Advances in Information and Communication Technologyhttp://image.papertrans.cn/e/image/311023.jpg作者: mortuary 時間: 2025-3-27 14:28 作者: Ointment 時間: 2025-3-27 20:28
https://doi.org/10.1007/978-3-030-14533-0es of interactive systems. The paper discusses justification of transformation of functional specifications into user interface specification, and the use of a verification tool for verifying system properties. We will demonstrate how some properties can be formulated, so they can be used together with a system specification in a justification.作者: 使苦惱 時間: 2025-3-28 00:53 作者: dictator 時間: 2025-3-28 04:41
Systematic methods for user interface designes of interactive systems. The paper discusses justification of transformation of functional specifications into user interface specification, and the use of a verification tool for verifying system properties. We will demonstrate how some properties can be formulated, so they can be used together with a system specification in a justification.作者: 背叛者 時間: 2025-3-28 07:30
Vision for man machine interaction. In the second part of this paper we describe techniques for detecting, tracking and recognizing faces. When combined with real time image processing and active control of camera parameters, these techniques can greatly reduce the communications bandwidth required for video-phone and video-conferen作者: 表示問 時間: 2025-3-28 11:14
The integration of a layout constraint language with an object-oriented user interface management syaints are automatically created or deleted, and each constraint can change its source variables. Declarativeness of constraint schema specifications is achieved by the use of high-level object expressions.作者: Custodian 時間: 2025-3-28 15:28 作者: 悲觀 時間: 2025-3-28 19:44 作者: BANAL 時間: 2025-3-29 01:23 作者: transplantation 時間: 2025-3-29 03:19
https://doi.org/10.1007/978-3-030-80367-4. In the second part of this paper we describe techniques for detecting, tracking and recognizing faces. When combined with real time image processing and active control of camera parameters, these techniques can greatly reduce the communications bandwidth required for video-phone and video-conferen作者: FLOAT 時間: 2025-3-29 08:11 作者: 使成核 時間: 2025-3-29 11:43
The Future of European Social Democracyp and other run-time assistance to users. The common model also allows the tools that operate on it to cooperate. Because all components of the system share the knowledge in the model, this promotes interface consistency within and across systems and reusability in the construction of new interfaces作者: Oratory 時間: 2025-3-29 15:53 作者: 災禍 時間: 2025-3-29 22:11
https://doi.org/10.1007/978-3-031-41356-8ent tradeoffs in providing a balance between flexibility, automation, code reuse, and performance. In this paper, we discuss the evaluation criteria, generic architecture, design issues, approaches, and tradeoffs.作者: aviator 時間: 2025-3-30 02:34 作者: 悄悄移動 時間: 2025-3-30 05:42
HandMove: a system for creating animated user interface components by direct manipulation animation model allowing intuitive and simple descriptions of complex animated scenes without textual programming; next, to integrate the resulting animation as dynamic elements in user interfaces built with a UIMS (User Interface Management System).作者: 闡明 時間: 2025-3-30 12:00 作者: 有惡意 時間: 2025-3-30 13:56 作者: Paradox 時間: 2025-3-30 20:26
A structured video browsing tooltructure. This hierarchical representation is first computed automatically, but it can also he hand-edited so that the user may provide his own structure to the document. The implementation that we propose uses analog video and assumes minimal computing and storage requirements, so that it can be effectively used as a practical system.作者: 性學院 時間: 2025-3-30 22:28 作者: 空中 時間: 2025-3-31 03:25 作者: 減至最低 時間: 2025-3-31 07:48
Formal verification of undesired behaviours in the CERD case study is described by a concurrent notation. The specification of the system is obtained by considering task decomposition. Once we have obtained the final specification of both user and system we can detect by formal verification the existence of traces of actions corresponding to interactions among them with consequent negative effects.作者: jagged 時間: 2025-3-31 10:09
Book 1996icipants. Itfurther containsthe results of several mini-workshops held duringthe conference ontopics like the Human Context, How to make FormalMethods Useful,Rapid Implementation and Development, UsabilityTesting, CSCW MiniScenarios.作者: 發(fā)牢騷 時間: 2025-3-31 13:49
