3828 search results - page 254 / 766 » Proof-Based System Engineering Using a Virtual System Model |
185
click to vote
VRST
2003
ACM
15 years 11 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
159
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
183
click to vote
WOSP
2010
ACM
15 years 6 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
177
click to vote
LAWEB
2003
IEEE
15 years 11 months ago
2003
IEEE
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
194
click to vote
SMA
2005
ACM
16 years 3 days ago
2005
ACM
In contrast to machined mechanical parts, the 3D shapes encountered in biomedical or styling applications contain many tubular parts, protrusions, engravings, embossings, folds, a...