• Aucun résultat trouvé

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.

N/A
N/A
Protected

Academic year: 2021

Partager "A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems."

Copied!
24
0
0

Texte intégral

Loading

Figure

Fig. 2. Example of a computer-based, concentrated control room (Large Hadron Collider at CERN).
Fig. 4. Example of a computer-based, concentrated user interface—the glass cockpit (transition to glass cockpit for the Boeing 747).
Fig. 5 presents the generic process involving dynamic generation of part of the user interface
Fig. 7) stage aims at transforming an abstract UI (AUI model) in a concrete UI (dependent from modality of interaction) for a particular context of use
+7

Références

Documents relatifs

Categorizing errors helps both Call Agent and gateway developers: it helps gateway developers choose an appropriate return code when a specific one for the situation is

Further, we are concerned only with the case where the Service Provider’s edge devices, whether at the provider edge (PE) or at the Customer Edge (CE), determine how to route

While the IPv6 protocols are well-known for years, not every host uses IPv6 (at least in March 2009), and most network users are not aware of what IPv6 is or are even afraid

(In the UCSB-OLS experiment, the user had to manually connect to Mathlab, login, use MACSYMA, type the input in a form suitable for MACSYMA, save the results in a file

2 Until a refrigerator-stable vaccine becomes available, however, varicella vac- cine will not be incorporated into the recommend- ed immunization schedule in Canada, as most

lt is important to remember that many of the drugs that come under international control regulations are very effective pharmaceutical products of modem medicine..

Health workers must recognize that - although conflict is political - they, like other development workers, have a significant social role to play, and that direct

However, by my lights, Sankey is mistaken that his most recently proposed view avoids Grzankowski’s second objection, since believing that p is true isn’t logically distinct