5434 search results - page 38 / 1087 » Tool support for MOLA |
VL
2009
IEEE
14 years 5 months ago
2009
IEEE
When conceiving of and implementing interactive behaviors, most designers rely on professional software developers to prototype and implement their designs. They often use static ...
ICECCS
2005
IEEE
14 years 4 months ago
2005
IEEE
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
IUI
2009
ACM
14 years 7 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
UIST
2010
ACM
13 years 8 months ago
2010
ACM
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
EURODAC
1990
IEEE
14 years 3 months ago
1990
IEEE
: In this paper logical cells and algorithms are presented supporting the design of pseudo-exhaustively testable circuits. The approach is based on real hardware segmentation, inst...