2317 search results - page 155 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
ECIS
2001
13 years 9 months ago
2001
The authors describe on going research to uncover the architectonic nature of artefacts and see how these may be related to high-level, but also grounded, model of the original pr...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
PG
2002
IEEE
14 years 1 months ago
2002
IEEE
The recent non-uniform subdivision approach extends traditional uniform subdivision schemes with variable rules, offering additional shape parameters (such as knot spacings) for f...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Painting on 3D surfaces is an important operation in computer graphics, virtual reality, and computer aided design. The painting styles in existing WYSIWYG systems can be awkward,...