Sciweavers

2695 search results - page 356 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
114
Voted
SIGDOC
2009
ACM
15 years 10 months ago
Modeling task experience in user assistance systems
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
Andrea Kohlhase, Michael Kohlhase
HASE
2008
IEEE
15 years 10 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
154
Voted
EMSOFT
2009
Springer
15 years 10 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
140
Voted
HCI
2007
15 years 5 months ago
A System for Adaptive Multimodal Interaction in Crisis Environments
In the recent years multimodal interfaces have acquired an important role in human computer interaction applications. Subsequently these interfaces become more and more human-orien...
Dragos Datcu, Zhenke Yang, Léon J. M. Rothk...
158
Voted
JUCS
2011
153views more  JUCS 2011»
14 years 6 months ago
A Framework to Evaluate Interface Suitability for a Given Scenario of Textual Information Retrieval
: Visualization of search results is an essential step in the textual Information Retrieval (IR) process. Indeed, Information Retrieval Interfaces (IRIs) are used as a link between...
Nicolas Bonnel, Max Chevalier, Claude Chrisment, G...