標(biāo)題: Titlebook: Interactive Systems: Design, Specification, and Verification; 1st Eurographics Wor Fabio Paternó Conference proceedings 1995 EUROGRAPHICS T [打印本頁(yè)] 作者: 遮蔽 時(shí)間: 2025-3-21 17:57
書目名稱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é)科排名
作者: 樹(shù)上結(jié)蜜糖 時(shí)間: 2025-3-21 22:14 作者: 傀儡 時(shí)間: 2025-3-22 01:47 作者: Chauvinistic 時(shí)間: 2025-3-22 06:28 作者: 闡明 時(shí)間: 2025-3-22 11:35 作者: 削減 時(shí)間: 2025-3-22 13:36 作者: CAPE 時(shí)間: 2025-3-22 20:38 作者: 精確 時(shí)間: 2025-3-22 22:07 作者: 服從 時(shí)間: 2025-3-23 04:26 作者: Nefarious 時(shí)間: 2025-3-23 06:33
Modelling Interactive Systems and Providing Task Relevant Information between a system and a user. In particular, properties about the relationship between the information presented by the system and that required by the user in order to perform some task are studied. This gives rise to requirements being placed on the user’s memory for effective use of the system wh作者: Landlocked 時(shí)間: 2025-3-23 13:17
The Requirements Engineering of User Freedomnt) that have in common a notion .. We shall argue that properties within this category are often discussed imprecisely. What we mean by interaction freedom here is the flexibility of an interactive system to switch between activities and the freedom of the user to choose options, and to be aware of作者: 蛤肉 時(shí)間: 2025-3-23 16:22 作者: chapel 時(shí)間: 2025-3-23 21:21 作者: 財(cái)產(chǎn) 時(shí)間: 2025-3-24 02:00
ystematized the accumulated knowledge about data structures in his 1968 book on Fundamental Algorithms, he devoted half the space to tree structures. During the seventies, data structures based on trees were extended to files on secondary storage and to multidimensional problems such as multi-key ac作者: Leaven 時(shí)間: 2025-3-24 04:08
Fran?ois Bodart,Anne-Marie Hennebert,Jean-Marie Leheureux,Jean Vanderdonckt the ADJ-group a parameterized specification, like . (.), consists of a parameter declaration . and a target specification . (.). This basic algebraic approach is combined with a very general notion of requirements which have to be satisfied for the parameters of the specification. Especially we can作者: 孵卵器 時(shí)間: 2025-3-24 10:05 作者: 感情 時(shí)間: 2025-3-24 11:49
W. David Hurley the ADJ-group a parameterized specification, like . (.), consists of a parameter declaration . and a target specification . (.). This basic algebraic approach is combined with a very general notion of requirements which have to be satisfied for the parameters of the specification. Especially we can作者: 詳細(xì)目錄 時(shí)間: 2025-3-24 17:18 作者: Genteel 時(shí)間: 2025-3-24 22:37
F. Paternó,A. Leonardi,S. Pangolif the two stacks problem with the help of properties of simple random walks on lattices. G. Louchard ([7], [8]) proved that the Brownian motion permits to give easily asymptotic results on the complexity of manipulation algorithms for sorted tables, dictonaries and priority queues. In [4], J. Fran?o作者: grieve 時(shí)間: 2025-3-25 03:11 作者: 六邊形 時(shí)間: 2025-3-25 05:49
Piyawadee “Noi” Sukaviriya,Jayakumar Muthukumarasamy,Martin Frank,James D. Foleyf the two stacks problem with the help of properties of simple random walks on lattices. G. Louchard ([7], [8]) proved that the Brownian motion permits to give easily asymptotic results on the complexity of manipulation algorithms for sorted tables, dictonaries and priority queues. In [4], J. Fran?o作者: NEXUS 時(shí)間: 2025-3-25 11:34
Mark van Harmelenf the two stacks problem with the help of properties of simple random walks on lattices. G. Louchard ([7], [8]) proved that the Brownian motion permits to give easily asymptotic results on the complexity of manipulation algorithms for sorted tables, dictonaries and priority queues. In [4], J. Fran?o作者: 防水 時(shí)間: 2025-3-25 13:50 作者: 變色龍 時(shí)間: 2025-3-25 16:32 作者: Vital-Signs 時(shí)間: 2025-3-25 20:03
Bob Fields,Michael Harrison,Peter Wrighttive (resp. negative) queries Q. (resp.Q.) under the following assumptions: if the size of the data structure is k (k ε N), then the number of possibilities for the operations D and Q. is a linear function of k, whereas the number of possibilities for the i-th insertion or negative query is equal to作者: 猛擊 時(shí)間: 2025-3-26 02:59
M. D. Harrison,A. E. Blandford,P. J. Barnardbraic structure. In this paper, we model the semantics of a concrete process description language, in both its interleaving and its true concurrency versions. As a test case, we consider Milner‘s Calculus of Communicating Systems (CCS). Instead of defining a single model for CCS, we introduce catego作者: ROOF 時(shí)間: 2025-3-26 08:16 作者: 菊花 時(shí)間: 2025-3-26 10:40 作者: Explicate 時(shí)間: 2025-3-26 14:15 作者: Tracheotomy 時(shí)間: 2025-3-26 19:00 作者: 尖酸一點(diǎn) 時(shí)間: 2025-3-26 23:24 作者: Retrieval 時(shí)間: 2025-3-27 02:21 作者: Magnificent 時(shí)間: 2025-3-27 09:05
Why Are Analogue Graphics and Natural Language Both Needed in HCI?racter, analogue sound and touch representations are analysed to explore whether results from the analysis of analogue graphics and their complementarity with natural language can be transferred to other analogue modalities of expression. The paper exemplifies the comparatively new field of Modality Theory.作者: Watemelon 時(shí)間: 2025-3-27 10:17
A Human-Computer Collaboration Paradigm For Bridging Design Conceptualization And Implementationets designers explicitly express their conceptual design intentions and helps them map the high-level intentions into interface implementations; (b) it lets human designers control design decisions and handles a pyramid of details for them during design; and (c) it provides flexible work and control flow for opportunistic design.作者: 摻假 時(shí)間: 2025-3-27 16:21 作者: exclusice 時(shí)間: 2025-3-27 19:15
Conference proceedings 19954) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.作者: Postulate 時(shí)間: 2025-3-28 01:27 作者: 不溶解 時(shí)間: 2025-3-28 02:52 作者: Accolade 時(shí)間: 2025-3-28 09:02 作者: floaters 時(shí)間: 2025-3-28 12:47
Modelling Interactive Systems and Providing Task Relevant Informatione user in order to perform some task are studied. This gives rise to requirements being placed on the user’s memory for effective use of the system which can be employed to compare different design choices. The techniques and notations are illustrated with a simple example from the domain of desktop office systems.作者: 有斑點(diǎn) 時(shí)間: 2025-3-28 18:16
eloped for the basic algebraic approach can be fully extended to the case with requirements. The basic result is an extension lemma which allows to show correctness of parameter passing and associativity of nested parameterized specifications like . (. (.)). Correctness of such composite specificati作者: 投射 時(shí)間: 2025-3-28 19:07 作者: 牽索 時(shí)間: 2025-3-29 01:36
us refinements and generalizations of the old programming trick called hashing have caused an unexpected extension of the domain of applicability of address computation techniques to dynamic files and multi-key access..This paper surveys the history of data structures used for tables, files or recor作者: Credence 時(shí)間: 2025-3-29 06:43 作者: misanthrope 時(shí)間: 2025-3-29 10:47
Hans de Bruin,Peter Bouwman,Jan van den Boseloped for the basic algebraic approach can be fully extended to the case with requirements. The basic result is an extension lemma which allows to show correctness of parameter passing and associativity of nested parameterized specifications like . (. (.)). Correctness of such composite specificati作者: 進(jìn)入 時(shí)間: 2025-3-29 14:16
W. David Hurleyeloped for the basic algebraic approach can be fully extended to the case with requirements. The basic result is an extension lemma which allows to show correctness of parameter passing and associativity of nested parameterized specifications like . (. (.)). Correctness of such composite specificati
