Titlebook: Interactive Systems. Design Specification, and Verification; 12th International W Stephen W. Gilroy,Michael D. Harrison Conference proceedi

歡笑

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

散布

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

MERIT

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

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

相同

Femish

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

HAIRY

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