1829 search results - page 301 / 366 » Towards Validation of Requirements Models |
134
click to vote
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
We describe a method to accurately assess articular cartilage morphology using the three-dimensional laser scanning technology. Traditional methods to obtain ground truth for valid...
166
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
169
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
144
click to vote
LISA
2008
15 years 7 months ago
2008
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...
158
click to vote
MBEES
2010
15 years 3 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...