Index of Conference Proceedings


Book Description




Proceedings


Book Description




The Handbook of Formal Methods in Human-Computer Interaction


Book Description

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.







Forth Dimensions


Book Description













CSCW and Artificial Intelligence


Book Description

Computing, despite the relative brevity of its history, has already evolved into a subject in which a fairly large number of subdisciplines can be identified. Moreover, there has been a noticeable tendency for the different branches of the subject each to develop its own intellectual culture, tradition and momentum. This is not, of course, to suggest that any individ ual subdiscipline has become a watertight compartment or that developments in one branch of the subject have tended to take place in total isolation from developments in other related areas. Nevertheless, it does mean that a deliberate effort is required in order to bring different subdisciplines together in a fruitful and beneficial manner. Artificial Intelligence (AI) and Computer Supported Coopera tive Work (CSCW) jointly constitute a good example of two branches of computing that have emerged separately and given rise to largely distinct research communities and initiatives. On the one hand, the history of AI can be traced back to the 1950s, the term II Artificial Intelligence" being generally attributed to John McCarthy, who first used it in print in 1956. "Computer Supported Cooperative Work", on the other hand, is a term of more recent coinage, having'been devised by Irene Greif and Paul Cashman in 1984.