Sciweavers

1983 search results - page 126 / 397
» User Interface Modelling with UML
Sort
View
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 6 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
122
Voted
CHI
2001
ACM
16 years 3 months ago
Model for unistroke writing time
Unistrokes are a viable form of text input in pen-based user interfaces. However, they are a very heterogeneous group of gestures the only common feature being that all are drawn ...
Poika Isokoski
237
Voted
IUI
2012
ACM
13 years 11 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...
DOCENG
2005
ACM
15 years 5 months ago
Content interaction and formatting for mobile devices
In this paper we present an experimental content adaptation system for mobile devices. The system enables the presentation of multimedia content and considers the problem of small...
Tayeb Lemlouma, Nabil Layaïda
146
Voted
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 8 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...