710 search results - page 80 / 142 » Model Based Reengineering Of User Interfaces |
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
FC
2004
Springer
14 years 3 months ago
2004
Springer
Improved computer security requires improvements in risk communication to naive end users. Efficacy of risk communication depends not only on the nature of the risk, but also on t...
TSE
2011
13 years 4 months ago
2011
—Event-Driven Software (EDS) can change state based on incoming events; common examples are GUI and web applications. These EDS pose a challenge to testing because there are a la...
ICOIN
2001
Springer
14 years 2 months ago
2001
Springer
We propose a new approach to easily creating 3 0 geometric models. A technique called interactive evolutionary computation (IEC) is introduced to accelerate user’s invention and...
MM
2004
ACM
14 years 3 months ago
2004
ACM
We present a novel method for interactive retrieval of 3D shapes using physical objects. Our method is based on simple physical 3D interaction with a set of tangible blocks. As th...