標(biāo)題: Titlebook: Interactive Systems. Design Specification, and Verification; 12th International W Stephen W. Gilroy,Michael D. Harrison Conference proceedi [打印本頁] 作者: mountebank 時間: 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ò)公開度
書目名稱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é)科排名
作者: LAPSE 時間: 2025-3-21 20:28
Alan Dix,Jennifer G. Sheridan,Stuart Reeves,Steve Benford,Claire O’Malley作者: metropolitan 時間: 2025-3-22 03:19 作者: 絕緣 時間: 2025-3-22 05:35
Towards Model Checking Stochastic Aspects of the , User Interfacethis paper we investigate the trade-off between two different design options for granting users access to files in the database: a retrial approach and a waiting-list approach and show how stochastic model checking can be used for such analyses.作者: 把手 時間: 2025-3-22 10:23 作者: Choreography 時間: 2025-3-22 15:39
programmers, easy to learn, user-extendable, and may also be combined with other tools. The book can be used as a textbook and as a reference manual. It consists of an introduction to advanced computer arithmetic, a chapter describing the programming languages C and C++, the major chapter "C-XSC Reference", s978-3-540-56328-0978-3-642-58058-1作者: Exuberance 時間: 2025-3-22 18:39 作者: Kaleidoscope 時間: 2025-3-23 00:18 作者: 統(tǒng)治人類 時間: 2025-3-23 03:16 作者: 向下 時間: 2025-3-23 06:59 作者: hardheaded 時間: 2025-3-23 10:46
Joan De Boeck,Chris Raymaekers,Karin Coninxgence of new lines of differentiation and cleavage, and the effects locally of international economic restructuring, amongst others. However, the sociological imagination as Mills understood it requires all three to be considered in the one framework, along with historical factors, and as such it pr作者: 共同生活 時間: 2025-3-23 17:15
El Mustapha El Atifi,Gilles Falquet, sociologically, peace processes that have yet to come to full fruition, meaning that we are in the middle of profound change not at the end. As W.G. Runciman (1999: 155) wrote in his introduction to sociology, sociologists (and others) best understand the course of historical events only with hind作者: 身體萌芽 時間: 2025-3-23 19:48
W. Greg Phillips,T. C. Nicholas Graham,Christopher Wolfehe “systems” of systems biology are defined over a wide span of complexity ranging from two macromolecules that interact to carry out a specific task to whole organisms. Systems biology is integrative and seeks to understand and predict the behavior or “emergent” properties of complex, multicomponen作者: aplomb 時間: 2025-3-23 22:27
Silvia Berti,Fabio Paternò,Carmen Santorond provide contrast for imaging. FS can be performed in an automatic freeze substitution (AFS) machine or in makeshift, temperature controlled chambers. Fixed worms can be embedded in plastic resin and further processed for a variety of imaging techniques. Samples then viewed using scanning (SEM) or作者: antedate 時間: 2025-3-24 04:56 作者: 去才蔑視 時間: 2025-3-24 07:36
Guo-Qiang Zhang,Gongqin Shen,Ye Tian,Jiayang Suntated variants with specificity for cyclic AMP. These can be used to regulate intracellular levels of cGMP and cAMP, which are important second messengers in sensory and other neurons. We further show how they can be combined with cyclic nucleotide-gated channels in two-component optogenetics, for d作者: Biguanides 時間: 2025-3-24 11:01 作者: 問到了燒瓶 時間: 2025-3-24 16:22
Jeremy Gow,Harold Thimbleby,Paul Cairnsar expansion). The epitope-preserving ExCel protocol enables imaging of endogenous proteins with off-the-shelf antibodies, at a?~?100?nm resolution (~2.8× linear expansion). The iterative ExCel protocol allows readout of fluorescent proteins at ~25?nm resolution (~20× linear expansion). The protocol作者: 木訥 時間: 2025-3-24 20:07 作者: 刺耳的聲音 時間: 2025-3-25 01:07
Erwin Cuppens,Chris Raymaekers,Karin ConinxRamanujan (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作者: 羽毛長成 時間: 2025-3-25 06:26
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interinformation from incident investigations to inform the development of safety-cases that can, in turn, be used to inform a formal system model, represented using Petri nets and the ICO formalism. The foundations of the approach are first detailed and then exemplified using a fatal mining accident case study.作者: 系列 時間: 2025-3-25 10:54 作者: 顯示 時間: 2025-3-25 13:27 作者: preservative 時間: 2025-3-25 17:40
Test of the ICARE Platform Fusion Mechanismons, we want to ensure the correctness of its fusion mechanism. Therefore, we validated it using a test architecture based on Java technologies. This paper presents our validation approach, its results, its advantages and its limits.作者: conceal 時間: 2025-3-25 21:15 作者: 劇毒 時間: 2025-3-26 01:21 作者: coagulation 時間: 2025-3-26 06:24
DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systemsuted Cognition perspective. The approach has been developed and tested within a large, busy ambulance control centre. It supports reasoning about both existing system design and possible future designs.作者: 手銬 時間: 2025-3-26 10:16 作者: Meander 時間: 2025-3-26 16:23 作者: 松雞 時間: 2025-3-26 18:27 作者: 放棄 時間: 2025-3-26 21:58
A Model-Based Design Process for Interactive Virtual Environmentsapplication. The process is based on both requirements of model-based user interface developments processes, and virtual environment development tools and toolkits. To evaluate the envisioned approach, a tool was created that supports the described process, and a case study has been performed.作者: perpetual 時間: 2025-3-27 02:51
User Experience and the Idea of Design in HCIrdisciplinary dialogue is not without its problems and points of contention. We conclude by arguing that not only new conceptual tools but also new HCI curricula may be helpful in achieving this interdisciplinary dialogue.作者: Alienated 時間: 2025-3-27 05:16 作者: 出沒 時間: 2025-3-27 10:10
Investigating Annotation in Electronic Paper-Prototypesels around such electronic paper-prototypes to enable end-users and other stakeholders to contribute to design dialogues. This paper presents Gabbeh, an electronic paper-prototyping tool, and reports on an evaluation using the tool in a simulated design exercise.作者: Misgiving 時間: 2025-3-27 14:51 作者: 凝結(jié)劑 時間: 2025-3-27 18:22
Supporting Resource-Based Analysis of Task Information Needsat how we can use tools to help reason about these issues, and illustrate their use through an example. We also consider a full range of analyses suggested using this approach which could potentially be supported by automated reasoning systems.作者: NOVA 時間: 2025-3-28 00:13
978-3-540-34145-1Springer-Verlag Berlin Heidelberg 2006作者: 軍火 時間: 2025-3-28 03:04 作者: peptic-ulcer 時間: 2025-3-28 10:14
0302-9743 Overview: 978-3-540-34145-1978-3-540-34146-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: nitric-oxide 時間: 2025-3-28 10:28
Automatic Critiques of Interface Modessing a matrix algebra approach to interface specification [12]. We also present a novel algorithm for automatically identifying modes in state-based interface designs, allowing a significant level of automated tool support for our methodology. The present paper generalises our previous work on improving state-based interface designs [5].作者: 庇護 時間: 2025-3-28 17:15 作者: Implicit 時間: 2025-3-28 19:27
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/470560.jpg作者: 梯田 時間: 2025-3-29 01:36
User Experience and the Idea of Design in HCIactice, but now technological developments and new conceptions of ’the user’ require more interdisciplinary conceptions of design. In particular, the turn to experience in HCI has lead us to consider a design-as-craft perspective which we exemplify in this paper by the work of digital jeweller, Jayn作者: relieve 時間: 2025-3-29 06:16 作者: cathartic 時間: 2025-3-29 09:56 作者: 恩惠 時間: 2025-3-29 13:35 作者: 心胸開闊 時間: 2025-3-29 16:58
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Intery, this involves applying scenarios, usability analysis, or the use of metrics for risk analysis. In this paper, we present an approach that uses the information from incident investigations to inform the development of safety-cases that can, in turn, be used to inform a formal system model, represe作者: climax 時間: 2025-3-29 23:12
Natural Modelling of Interactive Applicationss to make modelling activity more natural. The approach is based on a transformation able to convert hand-drawn visual model sketches on boards into task-model specifications that are further editable and analysable through automatic visual tools. A first test of the environment has been carried out作者: CRP743 時間: 2025-3-30 03:06 作者: Type-1-Diabetes 時間: 2025-3-30 08:00
Investigating Annotation in Electronic Paper-Prototypest documents is to add annotation in the form of comments. Previous research indicates that electronic paper-prototyping can be used to rapidly create simple prototypes of interactive systems, such as websites. Little is known, however, about how to provide and maintain variety of communication chann作者: 歡笑 時間: 2025-3-30 09:25
Test of the ICARE Platform Fusion Mechanismdevelop multimodal interfaces using a fusion mechanism in a modality independent way. As ICARE is being reused to produce several multimodal applications, we want to ensure the correctness of its fusion mechanism. Therefore, we validated it using a test architecture based on Java technologies. This 作者: 散布 時間: 2025-3-30 12:48
A Method for the Verification of Haptic AlgorithmsThis paper provides both a theoretical framework and a practical discussion of how the correctness and performance of force-feedback algorithms can be verified. The practical discussion is necessary as the theoretical framework proves that an infinite number of cases should be considered when evalua作者: Loathe 時間: 2025-3-30 17:33 作者: MERIT 時間: 2025-3-30 23:43
A Calculus for the Refinement and Evolution of Multi-user Mobile Applicationsle distributed interactive systems. It is based on the Workspace Model, which incorporates both distribution-independent and implementation-specific representations of multi-user and mobile applications. The calculus includes an evolution component, allowing the representation of system change at ei作者: Pandemic 時間: 2025-3-31 02:31
A Taxonomy for Migratory User Interfacesroliferation of a wide variety of interactive devices. In this paper we present a logical framework and some fundamental concepts and dimensions that can be useful to help user interface designers and developers understand migratory interfaces, analyse the state of the art, and identify areas which 作者: SIT 時間: 2025-3-31 08:45 作者: 相同 時間: 2025-3-31 12:56 作者: Femish 時間: 2025-3-31 13:47
Supporting Resource-Based Analysis of Task Information Needsn and representation of information, viewing the information as being distributed across a set of resources. From knowledge of available resources at the user interface, and task information needs we can identify whether the system provides the user with adequate support for task execution. We look 作者: ECG769 時間: 2025-3-31 20:56 作者: HAIRY 時間: 2025-3-31 22:45
Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysiservices. This paper shows how the method can be applied to the area of software architecture to analyze architectural tradeoffs among quality attributes. By eliciting customer utilities through conjoint analysis, software engineers can identify and focus on the useful quality attributes, which will 作者: Expand 時間: 2025-4-1 02:18 作者: 自制 時間: 2025-4-1 06:14
ge number of predefined numerical data types and operators. These types are implemented as C++ classes. Thus, C-XSC allows high-level programming of numerical applications in C and C++. The most important features of C-XSC are: real, complex, interval, and complex interval arithmetic; dynamic vector作者: 能夠支付 時間: 2025-4-1 10:58 作者: 容易懂得 時間: 2025-4-1 17:56
Ann Blandford,Dominic Furniss a year (circa 1932) I must have been contemporary,’ he famously said, self-identifying with a moment awkwardly positioned at the tail-end of high modernism’s first wave. In the autobiographical essay ‘Natural History’ Sisson goes on to explain how this early sense of being out of his time drove him作者: 他姓手中拿著 時間: 2025-4-1 20:21 作者: 淘氣 時間: 2025-4-1 23:24
Sophie Dupuy-Chessa,Lydie du Bousquet,Jullien Bouchet,Yves Ledrud entanglements of racism, class, imperial politics and cricket, revolved around the initial failure of the MCC, English cricket’s decision-making body, to select Basil D’Oliveira for the English touring party due to leave for South Africa in that year. The significance of their decision hinged on t
