1926 search results - page 249 / 386 » Modeling and Model Checking Software Product Lines |
151
click to vote
WSCG
2004
15 years 5 months ago
2004
In recent times, subdivision surfaces have been considered a powerful representation for shape design. They have been successfully introduced in character animation software packa...
115
click to vote
IJSM
2007
15 years 4 months ago
2007
Computer-Aided Geometric Design modelers are now based on powerful mathematical curve and surface models, but there is still a considerable need for efficient tools to handle, ana...
153
click to vote
WSC
1997
15 years 5 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...
129
click to vote
ACE
2004
15 years 5 months ago
2004
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...
170
click to vote
TAICPART
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...