213 search results - page 8 / 43 » Modeling and Testing Hierarchical GUIs |
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
VTS
2003
IEEE
14 years 23 days ago
2003
IEEE
Multi-level TAM optimization is necessary for modular testing of hierarchical SOCs that contain older-generation SOCs as embedded cores. We present two hierarchical TAM optimizati...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
Several domains such as sports, surgery, dance etc. are characterized by a significant influence of expertise of the performer on the motion pattern and style. The retrieval of ex...
NIPS
2008
13 years 9 months ago
2008
Neural probabilistic language models (NPLMs) have been shown to be competitive with and occasionally superior to the widely-used n-gram language models. The main drawback of NPLMs...