標(biāo)題: Titlebook: Interactive Systems. Design, Specification, and Verification; 15th International W T. C. Nicholas Graham,Philippe Palanque Conference proce [打印本頁(yè)] 作者: GURU 時(shí)間: 2025-3-21 16:14
書目名稱Interactive Systems. Design, Specification, and Verification影響因子(影響力)
書目名稱Interactive Systems. Design, Specification, and Verification影響因子(影響力)學(xué)科排名
書目名稱Interactive Systems. Design, Specification, and Verification網(wǎng)絡(luò)公開(kāi)度
書目名稱Interactive Systems. Design, Specification, and Verification網(wǎng)絡(luò)公開(kāi)度學(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é)科排名
作者: Commonplace 時(shí)間: 2025-3-21 22:53
Ann Blandford,Paul Curzon,Joanne Hyde,George Papatzanisucational sustainability. What has become obvious to this point is that man as human cannot survive the modern liberation of material growth, the expanding domain of Nature. The reason for this becomes obvious after working out the institutional logic of the technical model of education and its prod作者: 修飾語(yǔ) 時(shí)間: 2025-3-22 04:20
Emmanuel Dubois,Cédric Bach,Philippe Truilletucational sustainability. What has become obvious to this point is that man as human cannot survive the modern liberation of material growth, the expanding domain of Nature. The reason for this becomes obvious after working out the institutional logic of the technical model of education and its prod作者: Generic-Drug 時(shí)間: 2025-3-22 06:55 作者: 消耗 時(shí)間: 2025-3-22 09:23
Geert Vanderhulst,Kris Luyten,Karin Coninxudes supplementary material: Dieses Lehrbuch führt in die Hochsprachen-Programmierung ein. Dazu wurde die Sprache C/C++ gew?hlt, weil sie sich im Laufe der Jahre zur bedeutendsten Universalsprache mit breitestem Anwendungsspektrum entwickelt hat. Das gilt nicht nur für die Systemprogrammierung, sond作者: Outspoken 時(shí)間: 2025-3-22 16:06 作者: 卜聞 時(shí)間: 2025-3-22 20:58
Tony McBryan,Phil Grayes of this volume is to present a refinement of the original method due to Mourre leading to essentially optimal results in situations as varied as ordinary differential operators, pseudo-differential operators and N-body Schr?dinger hamiltonians. Another topic is a new algebraic framework for the N作者: 生氣地 時(shí)間: 2025-3-22 22:14
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System,works for assessing multimodal interactions, but no established methodologies that focus on the design of the interaction between user and system in context. In this paper, we present EMU, a systematic evaluation methodology for reasoning about the usability of an interactive system in terms of the 作者: Cervical-Spine 時(shí)間: 2025-3-23 03:11
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums,ange and multi-disciplinary design aspects to consider in this context and the lack of expertise in terms of MIS and public context evaluation, designing and evaluating MIS is a complex task. Based on an integrated development process, which combines a design model and a user-testing, this paper pre作者: 大喘氣 時(shí)間: 2025-3-23 05:51
An Attentive Groupware Device to Mitigate Information Overload,on between doing individual work and attending to the group to dynamically manage the delivery timing and quantity of group awareness information that each user is exposed to. We describe how this device can be implemented on an electronic brainstorming tool and show its influence on the distributio作者: 兇猛 時(shí)間: 2025-3-23 11:09
Multi-fidelity User Interface Specifications,ality specifications could lead to a user interface that satisfies the user’s needs. The user interface development life cycle typically involves multiple actors possessing all their own particular inputs of user interface artifacts expressed with their own formats, thus posing new constraints for i作者: 委托 時(shí)間: 2025-3-23 17:24 作者: dithiolethione 時(shí)間: 2025-3-23 21:58 作者: 討好美人 時(shí)間: 2025-3-24 01:31
Investigating System Navigation Ergonomics through Model Verification,nvestigation is based upon model analysis and a set of navigation properties. The formalism employed on this work was Coloured Petri Nets. The paper illustrates how the set of ergonomic properties was mapped into the model properties with the support of the formalism tools and specific functions dev作者: 神圣將軍 時(shí)間: 2025-3-24 06:24 作者: 分期付款 時(shí)間: 2025-3-24 09:10 作者: Biofeedback 時(shí)間: 2025-3-24 14:39
Pattern Languages as Tool for Discount Usability Engineering,s have usability problems when being used by those software engineers, who lack expertise in human-centered design. In this paper we report on the development of a tool that is intended to improve accessibility and usability of HCI design patterns for engineers. We aim at a tool that is simple and s作者: 支架 時(shí)間: 2025-3-24 16:34 作者: fodlder 時(shí)間: 2025-3-24 22:29
Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Codering. Tools and methods to design, justify, and validate user interfaces at the level of graphical rendering are still lacking. This not only hinders the design process, but can also lead to misinterpretation from users. This article is an account of our work as designers of colors for graphical e作者: single 時(shí)間: 2025-3-25 00:23
Lightweight Coding of Structurally Varying Dialogs,ng no UI-specific code). It requires no writing of callbacks or event handler functions. It allows editing of arbitrary data structures, with dynamic structural variation. This is achieved with a paradigm in which the UI specification code need not overtly name or store objects. Object management is作者: PAGAN 時(shí)間: 2025-3-25 03:47 作者: Subjugate 時(shí)間: 2025-3-25 09:38 作者: 抑制 時(shí)間: 2025-3-25 13:18 作者: 死亡 時(shí)間: 2025-3-25 16:45
Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Application home domain. The approach is based on Web services and model-based user interface generation. In particular, it focuses on multi-device interfaces obtained starting with XML descriptions of home Web services, which are then mapped onto user interface logical descriptions, from which it is possible 作者: membrane 時(shí)間: 2025-3-25 22:36
Resources for Situated Actions,s. However, the effort involved in producing the specifications of the system is still substantial, and a difficulty exists regarding the specification of plausible behaviors on the part of the user. Recent trends in technology towards more mobile and distributed systems further exacerbates the issu作者: aggressor 時(shí)間: 2025-3-26 03:59
Investigating System Navigation Ergonomics through Model Verification,eloped to support the interface designer during model analysis. The context chosen as the basis for discussion is the operation of automated systems in the electricity industry; and a case study is presented to illustrate the analysis.作者: 蘆筍 時(shí)間: 2025-3-26 05:27
Pattern Languages as Tool for Discount Usability Engineering,afe to be used without expert knowledge. Such a tool can be used in what could be labeled “discount usability engineering”. A new type of HCI pattern language combined with a supportive tool is intended to overcome some of the gaps these engineers have in HCI-background.作者: ANTIC 時(shí)間: 2025-3-26 11:59
Lightweight Coding of Structurally Varying Dialogs, performed automatically, facilitated by an incremental control structure. Volume of source code is reduced by about an order of magnitude compared to common UI toolkits. It has been implemented several times and used extensively in industry.作者: Extemporize 時(shí)間: 2025-3-26 16:07 作者: Jogging 時(shí)間: 2025-3-26 19:39 作者: Mosaic 時(shí)間: 2025-3-26 23:27 作者: 儀式 時(shí)間: 2025-3-27 02:58 作者: 忍受 時(shí)間: 2025-3-27 05:37
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of ul support tool: B4free. In this paper, we focus on the translation process of AUML protocol diagrams into Event B and we illustrate our technique by an example of multi-agent systems interaction protocol.作者: 好開(kāi)玩笑 時(shí)間: 2025-3-27 13:30
Cascading Dialog Modeling with UsiXML, throughout several levels of abstraction ranging from task and domain models until the final user interface thanks to a mechanism based on cascading style sheets. In this way, it is expected that the dialog properties are not only inherited from one level to another but also are made much more reusable than in the past.作者: 流出 時(shí)間: 2025-3-27 14:30 作者: 思考而得 時(shí)間: 2025-3-27 18:12
ReWiRe: Designing Reactive Systems for Pervasive Environments, the system behavior should adapt to a specific context of use while the system is being used. In this paper we present a methodology to orchestrate resources on an abstract level and hence configure a pervasive computing environment. We use a semantic layer to model behavior and illustrate its use in an application.作者: Spartan 時(shí)間: 2025-3-27 22:10 作者: TRUST 時(shí)間: 2025-3-28 05:38
A Model-Based Approach to Supporting Configuration in Ubiquitous Systems,ities and approaches for parameterising the functions and combining the results. We present a concept demonstrator implementation of the model, designed for home care systems, and describe a set of use cases based on this prototype implementation that illustrate the power and flexibility of the approach.作者: 配偶 時(shí)間: 2025-3-28 07:34
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums,ing and evaluating MIS is a complex task. Based on an integrated development process, which combines a design model and a user-testing, this paper presents the outcomes of the comparison of two MIS in terms of performance and satisfaction.作者: 破譯密碼 時(shí)間: 2025-3-28 12:12 作者: 喧鬧 時(shí)間: 2025-3-28 14:42 作者: Accord 時(shí)間: 2025-3-28 22:26
Conference proceedings 2008ith handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. Design, Sp作者: Ventilator 時(shí)間: 2025-3-28 23:43 作者: 鐵塔等 時(shí)間: 2025-3-29 06:01
Ramanujan (1887–1920) in his account of Hardy; the civil servant Lord Hankey (1877–1963) in his account of Lloyd George, Churchill and (briefly) Hammarskj?ld. Snow says in his preface that he ‘wrote the book for fun’ and that while ‘the grandeur of most of [his] subjects […] helped’, the ‘real fun w作者: chlorosis 時(shí)間: 2025-3-29 08:03
Ann Blandford,Paul Curzon,Joanne Hyde,George Papatzanisbsolete figure in the drone of numbers percolating among central planners. Yet the institution of education diminishes the human in ways that are not always obvious. It is not like Solzhenitsyn’s description of Stalin’s Gulags, where becoming opaque and undifferentiated against the crowd of enslaved作者: malign 時(shí)間: 2025-3-29 13:27 作者: 搖晃 時(shí)間: 2025-3-29 15:44
Jan Van den Bergh,Mieke Haesen,Kris Luyten,Sofie Notelaers,Karin Coninxtheory for Banach spaces and functional calculus and Besov spaces associated with multi-parameter C0-groups.?Certainly this monograph (containing a bibliography of 170 items) is a well-written contribution to this field which is suitable to stimulate further evolution of the theory. (Mathematical Re作者: 變量 時(shí)間: 2025-3-29 22:17
Tony McBryan,Phil Graytheory for Banach spaces and functional calculus and Besov spaces associated with multi-parameter C0-groups.?Certainly this monograph (containing a bibliography of 170 items) is a well-written contribution to this field which is suitable to stimulate further evolution of the theory. (Mathematical Re作者: MEAN 時(shí)間: 2025-3-30 00:14
Interactive Systems. Design, Specification, and Verification15th International W作者: 易怒 時(shí)間: 2025-3-30 06:25
Conference proceedings 2008t papers, and two demonstrations. Keynote presentations were provided by Judy Brown of Carleton University and Randy Ellis of Queen’s University. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to作者: 致詞 時(shí)間: 2025-3-30 10:04
Michael Dunlaveyge praktische Anwendung des gerade Gelernten. Die Quelltexte der Beispielprogramme sowie die L?sungen zu den übungsaufgaben finden Sie im Internet auf der Buchwebseite der Autoren, die im Vorwort benannt ist..978-3-658-18580-0978-3-658-18581-7作者: 含糊其辭 時(shí)間: 2025-3-30 14:29 作者: 灰姑娘 時(shí)間: 2025-3-30 17:30 作者: recession 時(shí)間: 2025-3-30 23:59
0302-9743 sity. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to978-3-540-70568-0978-3-540-70569-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: EXTOL 時(shí)間: 2025-3-31 03:23
Alexandre Scaico,Maria de F. Q. Vieira,Markson R. F. de Sousa,Charles Santoni作者: HEAVY 時(shí)間: 2025-3-31 08:43
Josefina Guerrero García,Jean Vanderdonckt,Juan Manuel González Calleros,Marco Winckler作者: 小卒 時(shí)間: 2025-3-31 10:06
Elbert-Jan Hennipman,Evert-Jan Oppelaar,Gerrit van der Veer作者: BOGUS 時(shí)間: 2025-3-31 16:56
Marco Winckler,Jean Vanderdonckt,Adrian Stanciulescu,Francisco Trindade作者: 難解 時(shí)間: 2025-3-31 20:44
Gilles Tabart,Stéphane Conversy,Jean-Luc Vinot,Sylvie Athènes
