3579 search results - page 113 / 716 » Transformations of software models into performance models |
150
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
160
click to vote
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
147
click to vote
CVIU
2004
15 years 4 months ago
2004
This paper describes a method to identify partially occluded shapes which are randomly oriented in 3D space. The goal is to match the object contour present in an image with an ob...
128
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. We present an approach for robust shape retrieval from databases containing articulated 3D shapes. We represent each shape by the eigenvectors of an appropriately define...
130
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper presents a robust watermarking method for curves that uses informed-detection. To embed watermarks, the presented algorithm parameterizes a curve using the B-spline ...