標(biāo)題: Titlebook: Interactive Systems. Design, Specification, and Verification; 13th International W Gavin Doherty,Ann Blandford Conference proceedings 2007 [打印本頁] 作者: 司法權(quán) 時(shí)間: 2025-3-21 16:18
書目名稱Interactive Systems. Design, Specification, and Verification影響因子(影響力)
書目名稱Interactive Systems. Design, Specification, and Verification影響因子(影響力)學(xué)科排名
書目名稱Interactive Systems. Design, Specification, and Verification網(wǎng)絡(luò)公開度
書目名稱Interactive Systems. Design, Specification, and Verification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Interactive Systems. Design, Specification, and Verification被引頻次
書目名稱Interactive Systems. Design, Specification, and Verification被引頻次學(xué)科排名
書目名稱Interactive Systems. Design, Specification, and Verification年度引用
書目名稱Interactive Systems. Design, Specification, and Verification年度引用學(xué)科排名
書目名稱Interactive Systems. Design, Specification, and Verification讀者反饋
書目名稱Interactive Systems. Design, Specification, and Verification讀者反饋學(xué)科排名
作者: 決定性 時(shí)間: 2025-3-21 22:29
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/470559.jpg作者: 連鎖,連串 時(shí)間: 2025-3-22 03:58 作者: 失眠癥 時(shí)間: 2025-3-22 05:28
Formal Modelling of Cognitive Interpretationious cognitive architecture. In particular, we focus on shape related aspects of the interpretation process associated with device input prompts. A cash-point example illustrates our approach. Using the SAL model checking environment, we show how the extended cognitive architecture facilitates detection of prompt-shape induced human error.作者: 鞭打 時(shí)間: 2025-3-22 12:38
978-3-540-69553-0Springer-Verlag Berlin Heidelberg 2007作者: 平靜生活 時(shí)間: 2025-3-22 13:41
Interactive Systems. Design, Specification, and Verification978-3-540-69554-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Little 時(shí)間: 2025-3-22 17:04 作者: 記成螞蟻 時(shí)間: 2025-3-22 21:55
Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Informate stringent usability requirements from the MDs. Through a validated low definition prototype of the infection module of ICS, the paper proposes innovative active ways of providing suggestions to MDs on what actions to take.作者: 打算 時(shí)間: 2025-3-23 02:33
How Do Developers Meet Users? – Attitudes and Processes in Software Developmentreased understanding of what research that counts in the academic context. Finally I argue that research should focus more on real problems of real development work, rather than on research that is easily publishable.作者: 山羊 時(shí)間: 2025-3-23 07:51
Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiTsigner to collect and log data related to the user experiment. Inserting ’probes’ and ’filters’ in NiMMiT interaction diagrams is indeed more efficient than editing the code of the interaction technique itself. We will clarify our approach as applied during a concrete user experiment.作者: lethargy 時(shí)間: 2025-3-23 11:00 作者: arrogant 時(shí)間: 2025-3-23 16:58
Analysis of Pointing Tasks on a White Boardon for the ranges considered. The expected increased sensitivity to changes in ID for these larger distances are confirmed. Nearly all movements show three phases: a planning phase, a ballistic phase and an adjustment phase. Finally, we show that the arrival time at the target resembles a log-normal distribution.作者: 寬度 時(shí)間: 2025-3-23 19:41
Mixed-Fidelity Prototyping of User Interfacesgh-fidelity components, are able to become involved earlier on in the process..We developed a conceptual model called the Region Model and implemented a proof-of-concept system called ProtoMixer. We then demonstrated the mixed-fidelity approach by using ProtoMixer to design an example application.作者: 爭吵加 時(shí)間: 2025-3-24 01:38 作者: EXUDE 時(shí)間: 2025-3-24 02:34 作者: Malfunction 時(shí)間: 2025-3-24 07:27 作者: Modicum 時(shí)間: 2025-3-24 14:03
An Ontological Approach to Visualization Resource Managementroach to the description of resources, their capabilities, and their software interfaces. Using this ontology, a software design for the support of resource detection, choice and utilisation is presented. By breaking the dependency of visualizations on specific resources, adaptability and portability is improved.作者: 種族被根除 時(shí)間: 2025-3-24 18:12
Rapid User-Centred Evaluation for Context-Aware Systemsironment to the user and to drive the generation of simulated environmental context. The platform thereby delivers repeatable, instrumented, context-dependent evaluations of adaptive services over a range of contexts. It aims to reduce development costs and facilitate the development of more effective, user-empowering services.作者: 軍火 時(shí)間: 2025-3-24 22:26 作者: Abnormal 時(shí)間: 2025-3-25 00:39 作者: COM 時(shí)間: 2025-3-25 04:15
A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Associa new approach in which the traditional methodology for performing the Evaluation Stage under UCD is embedded in a framework with capabilities for mining association rules. This allows to minimise the impact of the interpretation bias of the evaluation team when analysing ambiguous user statements in natural language.作者: 固定某物 時(shí)間: 2025-3-25 08:22 作者: 口訣 時(shí)間: 2025-3-25 14:06 作者: 過濾 時(shí)間: 2025-3-25 17:14
Harold Thimbleby1995 the organizers decided that the format of the meeting would be changed and that specific topics relevant to B-cell neoplasia would be discussed. This year‘s topic is on the c-myc oncogene in B-cell neoplasia which has been discussed in virtually every previous meeting. Some of the presentations作者: 我不死扛 時(shí)間: 2025-3-25 22:37 作者: 軌道 時(shí)間: 2025-3-26 00:52 作者: 免除責(zé)任 時(shí)間: 2025-3-26 07:25
Harold Thimblebyitic cell immunoreceptor (DCIR) is a type II membrane protein that contains an extracellular carbohydrate recognition domain (CRD) and a long cytoplasmic tail with an immunoreceptor tyrosine-based inhibition motif (ITIM). Only one molecular species is identified in humans (DCIR), while four family m作者: 缺陷 時(shí)間: 2025-3-26 10:18 作者: invade 時(shí)間: 2025-3-26 13:37 作者: febrile 時(shí)間: 2025-3-26 20:00 作者: 連接 時(shí)間: 2025-3-26 23:12 作者: Dungeon 時(shí)間: 2025-3-27 02:01 作者: 暫停,間歇 時(shí)間: 2025-3-27 09:16
How Do Developers Meet Users? – Attitudes and Processes in Software Developmentoping increased usability. Human Computer Interaction (HCI) has for a long time been arguing for the sake of the users, but to be able to deliver methods, tools and processes that better fit the needs of developers we should study and understand development work to a larger extent. This paper discus作者: Oafishness 時(shí)間: 2025-3-27 10:40
Validity and Cross-Validity in HCI Publications the different views, and a danger that different forms of validity are assumed by author and reader — deliberately or accidentally..This paper reviews some of the issues in this complex area and makes practical recommendations. In particular, the paper introduces the term “cross-validity” to help m作者: collagen 時(shí)間: 2025-3-27 16:46 作者: 焦慮 時(shí)間: 2025-3-27 21:23 作者: fabricate 時(shí)間: 2025-3-28 01:41 作者: 巧思 時(shí)間: 2025-3-28 02:33
Collaborative Social Structures and Task Modelling Integrationny different users who can play different roles with responsibilities and rights depending on such roles. There are so many roles, groups, relationships among them, tasks, and collaborations, that it is very difficult to develop an application without gathering all this information in a proper way. 作者: Genome 時(shí)間: 2025-3-28 08:20 作者: Soliloquy 時(shí)間: 2025-3-28 11:17
Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiTty, this is particularly true when developing a multimodal interface. For such a rich user interface, there is a lack of support for automated testing and observing, so in preparation of its formal evaluation a lot of time is spent to adapt the programming code itself. Based on NiMMiT, which is a hi作者: 拍下盜公款 時(shí)間: 2025-3-28 14:53
An Investigation into the Validation of Formalised Cognitive Dimensionsn their effective use. As such the framework facilitates the critical assessment and design of a wide variety of information artifacts. Although the framework has proved to be of considerable interest to researchers and practitioners, there has been little research examining how easily the dimension作者: 通知 時(shí)間: 2025-3-28 20:04 作者: 主動(dòng)脈 時(shí)間: 2025-3-29 01:45
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive al to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s l作者: STIT 時(shí)間: 2025-3-29 04:40 作者: commonsense 時(shí)間: 2025-3-29 07:21
Visual Design of User Interfaces by (De)compositions of use, such as for other users, other platforms, and other environments. This paper addresses this problem by introducing a new visual design method for graphical users interfaces referred to as “visual design by (de)composition”. In this method, any individual or composite component of a graphic作者: resilience 時(shí)間: 2025-3-29 14:21
Exploring the Specification of Haptic Interactionted. However, recent advances in haptic devices have facilitated new levels of virtual environment interaction by the development of environments where it is possible to touch and . virtual objects. Such environments support a richer set of possible user interactions..This paper explores haptic spec作者: MOAN 時(shí)間: 2025-3-29 17:51
Analysis of Pointing Tasks on a White Boardt traces in an automatic way with the Mimio device. Such traces provide detailed insight in the variability of 2D pointing relevant for example for the design of computer vision based gestural interaction. This study provides experimental evidence that for medium large distances Fitts’ model, and We作者: judiciousness 時(shí)間: 2025-3-29 23:18 作者: Licentious 時(shí)間: 2025-3-30 03:47
A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Associa looks for the redefinition of the prototype requirements, involving quantitative and qualitative usability testing techniques. This paper describes a new approach in which the traditional methodology for performing the Evaluation Stage under UCD is embedded in a framework with capabilities for mini作者: 演繹 時(shí)間: 2025-3-30 07:07
Rapid User-Centred Evaluation for Context-Aware Systemsomputing markets. It focuses on evaluating the user interactions with context-aware adaptive systems while synchronising the control of the environmental context that drives adaptivity and the user’s perception of that environment. The platform uses a 3D virtual reality simulation to present the env作者: NIB 時(shí)間: 2025-3-30 08:14 作者: effrontery 時(shí)間: 2025-3-30 12:24
Sophie Lepreux,Jean Vanderdonckt,Benjamin Michotte作者: 虛弱的神經(jīng) 時(shí)間: 2025-3-30 17:55 作者: 不朽中國 時(shí)間: 2025-3-31 00:38
Erik G. Nilsson,Jacqueline Floch,Svein Hallsteinsen,Erlend Stav作者: 溫室 時(shí)間: 2025-3-31 02:48 作者: 國家明智 時(shí)間: 2025-3-31 07:17 作者: 使痛苦 時(shí)間: 2025-3-31 12:24 作者: mucous-membrane 時(shí)間: 2025-3-31 14:16 作者: 十字架 時(shí)間: 2025-3-31 19:25
Mónica Sara Santos,Jo?o Falc?o e Cunha,Altamiro da Costa Pereiralt presented a perplexing problem because no one could explain how a tumor of the same histological type could be transmitted by a (cell free filtrate) virus. Within a year continued reports of other tumors in chickens that were transmissable by cell free extracts were described by Rous himself and 作者: Estimable 時(shí)間: 2025-3-31 21:48 作者: 異端邪說2 時(shí)間: 2025-4-1 05:20
Victor M. R. Penichet,Fabio Paternò,J. A. Gallud,Maria D. Lozanoing a novel role of LOX-1 in immunity. LOX-1 and other pattern recognition receptors are expressed on the surface of myeloid cells like macrophages, dendritic cells, or neutrophils. They have an important role in the immediate innate immune response and also in the regulation of the adaptive immune 作者: 繞著哥哥問 時(shí)間: 2025-4-1 08:56 作者: 臭了生氣 時(shí)間: 2025-4-1 11:57 作者: maverick 時(shí)間: 2025-4-1 16:11 作者: eustachian-tube 時(shí)間: 2025-4-1 20:09
Rimvydas Ruk??nas,Paul Curzon,Jonathan Back,Ann Blandfordpecifically focus on C-type lectin receptors capable of activating downstream signaling pathways, resulting in protective antifungal immune responses. The current roles that these signaling CLRs play in protection against four of the most prevalent fungal infections affecting humans are reviewed. Th作者: 蕁麻 時(shí)間: 2025-4-1 23:29
