Sciweavers

480 search results - page 10 / 96
» Specification for User Modeling with Self-Observing Systems
Sort
View
IJIT
2004
13 years 9 months ago
Context for Simplicity: A Basis for Context-aware Systems Based on the 3GPP Generic User Profile
The paper focuses on the area of context modeling with respect to the specification of context-aware systems supporting ubiquitous applications. The proposed approach, followed wit...
Enrico Rukzio, George N. Prezerakos, Giovanni Cort...
WSC
2000
13 years 9 months ago
VisualSLX: an open user shell for high-performance modeling and simulation
SLX by Wolverine software is actually one of the fastest simulation languages. Besides the high performance the SLX-compiler can be extended very easily by user specific syntax ru...
Thomas Wiedemann
ACMDIS
2000
ACM
14 years 3 days ago
Contextual Prototyping of User Interfaces
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...
Christian Stary
JSS
2006
99views more  JSS 2006»
13 years 7 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
UMUAI
2008
144views more  UMUAI 2008»
13 years 7 months ago
Tag-based user modeling for social multi-device adaptive guides
This paper aims to demonstrate that the principles of adaptation and user modeling, especially social annotation, can be integrated fruitfully with those of the Web 2.0 paradigm a...
Francesca Carmagnola, Federica Cena, Luca Console,...