Titlebook: Interactive Systems. Design, Specification, and Verification; 15th International W T. C. Nicholas Graham,Philippe Palanque Conference proce

Mosaic

儀式

忍受

Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of ul support tool: B4free. In this paper, we focus on the translation process of AUML protocol diagrams into Event B and we illustrate our technique by an example of multi-agent systems interaction protocol.

好開玩笑

Cascading Dialog Modeling with UsiXML, throughout several levels of abstraction ranging from task and domain models until the final user interface thanks to a mechanism based on cascading style sheets. In this way, it is expected that the dialog properties are not only inherited from one level to another but also are made much more reusable than in the past.

流出

思考而得

ReWiRe: Designing Reactive Systems for Pervasive Environments, the system behavior should adapt to a specific context of use while the system is being used. In this paper we present a methodology to orchestrate resources on an abstract level and hence configure a pervasive computing environment. We use a semantic layer to model behavior and illustrate its use in an application.

Spartan

TRUST

A Model-Based Approach to Supporting Configuration in Ubiquitous Systems,ities and approaches for parameterising the functions and combining the results. We present a concept demonstrator implementation of the model, designed for home care systems, and describe a set of use cases based on this prototype implementation that illustrate the power and flexibility of the approach.

配偶

Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums,ing and evaluating MIS is a complex task. Based on an integrated development process, which combines a design model and a user-testing, this paper presents the outcomes of the comparison of two MIS in terms of performance and satisfaction.

破譯密碼