[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
Reflects downloads up to 20 Dec 2024Bibliometrics
Skip Table Of Content Section
research-article
Open Access
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface:
Abstract.

There is considerable interest within the Human Computer Interaction (HCI) community in the use of media spaces to enhance awareness and interaction between workers in offices or other spatially distributed environments. In addition to the ...

research-article
Open Access
Analysing Cognitive Behaviour using LOTOS and Mexitl:
Abstract.

We argue that cognitive models should be used in analysing the usability of multi-modal human computer interfaces and further, that formal methods can be advantageously applied to such analysis. In pursuing this objective we specify the ...

research-article
Open Access
Formalising a Value-Passing Calculus in HOL:
Abstract.

Milner's value-passing calculus for describing and reasoning about communicating systems is formalised in the HOL proof assistant. Based on a previously defined mechanisation of pure CCS (no data communication, only synchronisation) in HOL, ...

research-article
Open Access
Generalised folds for nested datatypes:
Abstract.

Nested datatypes generalise regular datatypes in much the same way that context-free languages generalise regular ones. Although the categorical semantics of nested types turns out to be similar to the regular case, the fold functions are more ...

Subjects

Comments

Please enable JavaScript to view thecomments powered by Disqus.