498 search results - page 43 / 100 » Model Validation using Automatically Generated Requirements-... |
TCAD
2008
13 years 7 months ago
2008
Abstract--A key design constraint of circuits used in handheld devices is the power consumption, mainly due to battery life limitations. Adaptive power management (APM) techniques ...
ASM
2005
ASM
14 years 1 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
TSE
1998
13 years 7 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...