purpose: scientific databases are the most important and useful sources where information is accessible via user interfaces. one of the approaches to eliminating the existing challenges in databases user interface is utilizing the sense-making theory (smt) approach. smt approach helps the users to understand problematic situations they have faced with and bridges the cognitive and information g...

technology advancement improves the way we interact with computer systems. keyboard, mouse, and touchpad provide an easier and more natural way of interaction with a computer system. nowadays, by introducing low cost and high performance depth cameras like kinect and xtion, new opportunities are available for creating even more natural interfaces. in this paper, a new model was demonstrated for...

User interfaces are normally based on low-level trickery either within the run-time system, or in a separate program which has been connected to the stream I/O system of the language. We present a new twist to this by giving some intelligence to the outside system, which will have greater control of the interface. This has a number of benefits: it makescreating new programs easier, increases th...

Symbolic model checking techniques have been widely and successfully applied to statically analyze dynamic properties of hardware systems. Efforts to apply this same technology to the analysis of software systems has met with a number of obstacles, such as the existence of non-nite state-spaces. This paper investigates abstractions that make it possible to cost-eeectively model check speciicati...

Introduction Programming languages may be broadly divided into two classes; imperative and functional. The languages typically used in business environments, such as Java and C++, are imperative; a program consists of a series of statements that perform IO, or operate on the data in the computer’s store. Functional languages, on the other hand, such as Haskell and ML, are declarative; the progr...

Current work on navigation in electronic worlds is based on the assumption that geographic and electronic worlds are similar enough to make it possible to use results from work on environmental psychology and related areas in the design of electronic information spaces. The present paper is an attempt to analyze the underlying assumptions behind this approach in some detail, as well as an attem...

The GEC Toolkit offers to programmers a high-level, generic style of programming Graphical User Interfaces (GUIs). Programmers are not concerned with low-level widget plumbing. Instead, they use mathematical data models that reflect both the application logic and the visualisation. The data models and the logic are expressed as standard functional style data types and functions over these data ...