Sciweavers

3570 search results - page 164 / 714
» A User Model for Information Erasure
Sort
View
IUI
2012
ACM
14 years 2 months ago
Automatic reverse engineering of interactive dynamic web applications to support adaptation across platforms
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
Federico Bellucci, Giuseppe Ghiani, Fabio Patern&o...
TACAS
2004
Springer
127views Algorithms» more  TACAS 2004»
15 years 11 months ago
MetaGame: An Animation Tool for Model-Checking Games
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
Markus Müller-Olm, Haiseung Yoo
UML
2005
Springer
15 years 12 months ago
Extending the Boundaries of Model-Based Development to Account for Errors
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
Sandra Basnyat, Rémi Bastide, Philippe A. P...
WICON
2008
15 years 8 months ago
A negotiation game for multichannel access in cognitive radio networks
We consider the problem of efficient opportunistic spectrum access in cognitive radio networks where there are multiple secondary users trying to share access to multiple channels...
Hua Liu, Longbo Huang, Bhaskar Krishnamachari, Qin...
SOUPS
2005
ACM
16 years 1 days ago
Social navigation as a model for usable security
As interest in usable security spreads, the use of visual approaches in which the functioning of a distributed system is made visually available to end users is an approach that a...
Paul DiGioia, Paul Dourish