Mosaic
发表于 2025-3-26 23:27:52
http://reply.papertrans.cn/48/4706/470561/470561_31.png
仪式
发表于 2025-3-27 02:58:55
http://reply.papertrans.cn/48/4706/470561/470561_32.png
忍受
发表于 2025-3-27 05:37:06
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.
好开玩笑
发表于 2025-3-27 13:30:05
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.
流出
发表于 2025-3-27 14:30:06
http://reply.papertrans.cn/48/4706/470561/470561_35.png
思考而得
发表于 2025-3-27 18:12:21
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
发表于 2025-3-27 22:10:37
http://reply.papertrans.cn/48/4706/470561/470561_37.png
TRUST
发表于 2025-3-28 05:38:11
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.
配偶
发表于 2025-3-28 07:34:28
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.
破译密码
发表于 2025-3-28 12:12:31
http://reply.papertrans.cn/48/4706/470561/470561_40.png