12670 search results - page 217 / 2534 » Requirements Modeling |
154
click to vote
SMILE
1998
Springer
15 years 8 months ago
1998
Springer
As virtual worlds demand ever more realistic 3D models, attention is being focussed on systems that can acquire graphical models from real objects. This paper describes a system wh...
175
click to vote
NFM
2011
14 years 10 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
128
click to vote
EOR
2006
15 years 3 months ago
2006
In both the quality improvement and the design of a product, the engineering characteristics affecting product performance are primarily identified and improved to optimize custom...
150
click to vote
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
114
Voted
3DIM
2003
IEEE
15 years 9 months ago
2003
IEEE
Highly realistic virtual human models are rapidly becoming commonplace in computer graphics. These models, often represented by complex shape and requiring labor-intensive process...