3623 search results - page 131 / 725 » Functionally Modeled User Interfaces |
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
ECSCW
1993
14 years 11 months ago
1993
: Most cooperation support systems require information about the organisational context in which they are used. This is particularly required when systems are used in a large organ...
DAGSTUHL
2007
14 years 11 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
ER
2001
Springer
15 years 2 months ago
2001
Springer
In this paper we present an original approach for personalizing complex Web applications, in particular e-commerce applications. This approach is based on a clear separation of con...
UAI
2000
14 years 11 months ago
2000
Many intelligent user interfaces employ application and user models to determine the user's preferences, goals and likely future actions. Such models require application anal...