Sciweavers

5477 search results - page 521 / 1096
» Contexts, Domains, and Software
Sort
View
FOSSACS
2008
Springer
15 years 9 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
AVI
2004
15 years 8 months ago
Designing interaction, not interfaces
Although the power of personal computers has increased 1000-fold over the past 20 years, user interfaces remain essentially the same. Innovations in HCI research, particularly nov...
Michel Beaudouin-Lafon
HCI
2001
15 years 8 months ago
Distributed user modelling for universal information access
In a distributed multi-agent based software environment, the traditional monolithic user model ceases to exist and is replaced by user model fragments, developed by the various so...
Julita Vassileva
181
Voted
WIS
2003
15 years 8 months ago
An Agent-Based Architecture for Wireless Bus Travel Assistants
Multi-agent systems are open and extensible systems that allow for the deployment of autonomous and proactive software components. This paper describes how a multi-agent architectu...
Robin Strahan, Conor Muldoon, Gregory M. P. O'Hare...
AVI
2008
15 years 8 months ago
Illustrative halos in information visualization
In many interactive scenarios, the fast recognition and localization of crucial information is very important to effectively perform a task. However, in information visualization...
Martin Luboschik, Heidrun Schumann