1338 search results - page 96 / 268 » Consistent Code Generation from UML Models |
127
click to vote
SERP
2004
15 years 4 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
118
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
Clustering video sequences in order to infer and extract activities from a single video stream is an extremely important problem and has significant potential in video indexing, s...
165
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
This paper presents a novel approach to skim and describe 3D videos. 3D video is an imaging technology which consists in a stream of 3D models in motion captured by a synchronized ...
137
click to vote
JSW
2008
15 years 2 months ago
2008
An estimation of change-proneness of parts of a software system is an active topic in the area of software engineering. Such estimates can be used to predict changes to different c...
152
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....